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

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