Proofs and Types, volume 7 of Cambridge Tracts (1989)

by J-Y Girard, Y Lafont, P Taylor
Venue:in Theoretical Computer Science