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

by
Jean-yves Girard

Venue: | Logic and Algebra |

Citations: | 88 - 1 self |