Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (12 chapters)
-
Front Matter
-
Concrete Semantics
-
Front Matter
-
-
Categorical Semantics
-
Front Matter
-
-
Conclusions
-
Front Matter
-
-
Back Matter
About this book
Authors and Affiliations
-
School of Computer Science, University of Birmingham, UK
Paul Blain Levy
Bibliographic Information
Book Title: Call-By-Push-Value
Book Subtitle: A Functional/Imperative Synthesis
Authors: Paul Blain Levy
Series Title: Semantics Structures in Computation
DOI: https://doi.org/10.1007/978-94-007-0954-6
Publisher: Springer Dordrecht
-
eBook Packages: Springer Book Archive
Copyright Information: Kluwer Academic Publishers 2003
Hardcover ISBN: 978-1-4020-1730-8Published: 30 November 2003
Softcover ISBN: 978-94-010-3752-5Published: 27 September 2012
eBook ISBN: 978-94-007-0954-6Published: 06 December 2012
Edition Number: 1
Number of Pages: XLI, 352
Topics: Programming Languages, Compilers, Interpreters, Mathematics of Computing, Category Theory, Homological Algebra