Proof-nets: The parallel syntax for proof-theory (1996)

Cached

Download Links

by Jean-yves Girard
Venue:Logic and Algebra
Citations:89 - 1 self