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

by Roberto
Venue:in Theoretical Computer Science