Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46) - Hardcover
Book 23 of 40: Cambridge Tracts in Theoretical Computer Science
Synopsis
Graduate text on mathematical foundations of programming languages, and operational and denotational semantics.
"synopsis" may belong to another edition of this title.
Review
Review of the hardback: '... extremely useful as a reference for classical results and techniques in general domain theory, very balanced in the treatment of mathematical properties of domains and their operational motivations and applications, and always deep in the choice of topics and in unravelling the connections between them.' Felice Cardone, Science of Computer Programming
Review of the hardback: 'This is an excellent, thorough monograph ... a rich and comprehensive source of information, it is very useful as a reference to classical results in domain theory and lambda calculus.' Paula G. Severi, Zentralblatt MATH
Book 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 ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them.
"About this title" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Domains and Lambda-Calculi: 46 (Cambridge Tracts in...
Seller Image
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Used
Hardcover
Seller: Book House in Dinkytown, IOBA, Minneapolis, MN, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Good-. Ex-lib with shelfwear, otherwise in very good condition. Binding is tight, sturdy, and square; math and text also very good. Ships from Dinkytown in Minneapolis, Minnesota. Seller Inventory # 296173
Stock Image
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Used
Hardcover
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 4 out of 5 stars
hardcover. Condition: Very Good. The pages are lightly tanned. The copy shows minor external wear, but is in otherwise clean condition. Seller Inventory # mon0004034512
Stock Image
DOMAINS AND LAMBDA-CALCULI
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEOCT25-100208
Stock Image
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521622776_new
Buy New
£ 146.96
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9780521622776
Stock Image
Domains and Lambda-Calculi
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 484 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand. Seller Inventory # __0521622778
Buy New
£ 162.83
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Domains and Lambda-Calculi (Hardcover)
Published by
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. 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 ways independent of both language and platform. To do this the authors explain denotational and operational semantics and exploit the duality between them. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9780521622776
Stock Image
Domains and Lambda-Calculi (Hardcover)
Published by
Cambridge University Press, Cambridge, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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 language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. 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 language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda calculi considered as core programming languages and as meta-languages for denotational semantics. This theory is now known as Domain Theory, and was founded as a subject by Scott and Plotkin. One of the main concerns is to establish links between mathematical structures and more syntactic approaches to semantics, often referred to as operational semantics, which is also described. This dual approach has the double advantage of motivating computer scientists to do some mathematics and of interesting mathematicians in unfamiliar application areas from computer science. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9780521622776
Buy New
£ 158.49
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press, 1998
ISBN 10: 0521622778
ISBN 13: 9780521622776
Used
Hardcover
Seller: Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
Hardcover. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA77305216227786
Buy Used
£ 181
£ 25 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Domains and Lambda-Calculi
Published by
Cambridge University Press, 2003
ISBN 10: 0521622778
ISBN 13: 9780521622776
New
Hardcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 ways independent of both language and platform. To do this the authors expl. Seller Inventory # 446942716
Buy New
£ 171.07
£ 42.41 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available