Normal Forms and Cut-free Proofs as Natural Transformations (1991)

by J Y Girard, A Scedrov, P Scott
Venue:in : Logic From Computer Science, Mathematical Science Research Institute Publications 21