Proofs and Types Cambridge Univ (1989)

by Jean-Yves Girard, Yves Lafont, Paul Taylor