Proofs and Types. Cambridge Tracts (1989)

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