Amadio and Pierre-Louis Curien. Domains and Lambda Calculi, volume 46 of Cambridge Tracts (1998)

by M Roberto
Venue:in Theoretical Computer Science