Exploring the gap between linear and classical logic (2006)

by François Lamarche
Venue:Submitted. INRIA Proof Nets and the Identity of Proofs 73