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

by Roberto M Amadio
Venue:in Theoretical Computer Science