Proofs and Types, volume 7 of Cambridge Tracts in Theoret Computer Science (1989)

by J-Y Girard, Y Lafont, P Taylor
Venue:ensl-00823621, version 2 - 10 Jun 2013