Proofs and types. Cambridge tracts in theoretical computer science, no. 7 (0)

by J-Y Girard, P Taylor, Y Lafont