Domains and lambda-calculi

Roberto M. Amadio, Pierre-Louis Curien. Domains and lambda-calculi. Volume 46 of Cambridge tracts in theoretical computer science, Cambridge University Press, 1998.

No reviews for this publication, yet.