Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)

Cambridge

by: Roberto M. Amadio · Pierre-Louis Curien

Hardcover

ISBN: 978-0-521-62277-6

ISBN-10: 0-521-62277-8

Cambridge University Press · 1998

See also:
2008PaperbackDomains and Lambda Calculi (Cambridge Tracts in Theoretical Computer Science)