Proofs and types. Cambridge Tracts (1989)

by Jean-Yves Girard, Yves Lafont, Paul Taylor
Venue:Cambridge University