Proofs and Types (1989)

by J-Y Girard, P Taylor, Y Lafont