Proofs and types (1989)

by Jean-Yves Girard, Paul Taylor, Yves Lafont