Domains and lambda-calculi, volume 46 of Cambridge Tracts (1998)

by R Amadio, P-L Curien
Venue:in Theoretical Computer Science