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