... proof-nets that correspond to the sequent proofs of section 4.2.2. The atomic formulae, that are A (resp. A+) for the atoms labelled with O (resp.
確定! 回上一頁