Proofs and Types. Cambridge Tracts (1989)

by Jean-Yves Girard, Paul Taylor, Yves Lafont
Venue:in Theoretical Computer Science Vol.7