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