and Pierre-Louis Curien, Domains and Lambda-Calculi, Cambridge Tracts in Theoretical (0)

by Roberto M Amadio
Venue:CB2 1RP, Great Britain, 1998, ISBN