Normal Forms and Cut-Free Proofs as Natural Transformations (1992)
by
Jean-Yves Girard
,
Andre Scedrov
,
Philip J. Scott
| Venue: | in : Logic From Computer Science, Mathematical Science Research Institute Publications 21 |
| Citations: | 12 - 4 self |
Document Versions
| Normal Forms and Cut-Free Proofs as Natural Transformations –Jean-Yves Girard, Andre Scedrov, Philip J. Scott — 1992 — in : Logic From Computer Science, Mathematical Science Research Institute Publications 21 |
| Normal Forms and Cut-Free Proofs as Natural Transformations –Jean-Yves Girard, André Scedrov, Philip J. Scott — 1992 — in : Logic From Computer Science, Mathematical Science Research Institute Publications 21 |
