Results 11 -
11 of
11
Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7 (1989)
by J Y Girard, Y Lafont, P Taylor
| Venue: | Normal Forms and Cut-free Proofs as Natural Transformations, in : Logic From Computer Science, Mathematical Science Research Institute Publications 21 |
