## 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: | 13 - 5 self |