Proofs and types (1989)

by Y Lafont J L Girard, P Taylor