0521622778 SHOW MOOCHABLE + ? RELATED SEARCHES > ADVANCED SEARCH > HIDE COVERS - ASIN Title: Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science) Author: Roberto M. Amadio Description: Product Description This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a... (more) Available: No copies available WISHLIST ADD + SAVE FOR LATER + AMAZON > RECOMMEND > DETAIL > Search BookMooch for a book: SEARCH BOOKMOOCH > Search Amazon for a book: amazon.co.uk amazon.de amazon.es amazon.fr amazon.it amazon.cn SEARCH AMAZON >