We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£71.99
Springer Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
Price data last checked 52 day(s) ago - refreshing...
Price History & Forecast
Last 39 days • 39 data points (No recent data available)
Price Distribution
Price distribution over 39 days • 1 price levels
Price Analysis
Most common price: £72 (39 days, 100.0%)
Price range: £72 - £72
Price levels: 1 different prices over 39 days
Description
The book addresses ways and means of organizing computations, highlighting the relationship between algorithms and the basic mechanisms and runtime structures necessary to execute them using machines. It completely abstracts from concrete programming languages and machine architectures, taking instead the lambda calculus as the basic programming and program execution model to design various abstract machines for its correct implementation. This book takes a lambda calculus approach to organizing computations. It sets out with a brief introduction to lambda calculus, describes a variant of the classical SECD-machine as a basic interpreter for the lambda calculus, and in the main part continues with fully normalizing abstract lambda calculus machines, of which some are interpreting and some execute compiled code.
Product Specifications
- Brand
- Springer
- Format
- Paperback
- ASIN
- 3642059384
- Domain
- Amazon UK
- Release Date
- 10 November 2010
- Listed Since
- 20 September 2010
Barcode
No barcode data available
Similar Products You Might Like
92% match
Introduction to Languges, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic
Springer
£57.02
08 Mar 2026
92% match
Lambda-Calculus and Combinators: An Introduction
Cambridge University Press
£57.78
09 Dec 2025
91% match
Models of Computation (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£31.47
20 Feb 2026
91% match
A Programming Approach to Computability (Monographs in Computer Science)
Springer
£52.53
08 Mar 2026
91% match
Theory of Computation: Automata, Formal Languages, Computation and Complexity
Springer
£84.49
15 Feb 2026
91% match
Formal Languages and Computation: Models and Their Applications
CRC Press
£54.78
21 Feb 2026
91% match
Mathematics in Programming
Springer
£49.90
15 Feb 2026
90% match
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Springer
£87.91
09 Dec 2025
90% match
Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
Cambridge University Press
£49.36
27 Feb 2026
90% match
Programming Languages: Principles and Paradigms (Undergraduate Topics in Computer Science)
Springer
£42.67
18 Feb 2026
90% match
An Introduction to Formal Language Theory (Monographs in Computer Science)
Springer
£40.36
07 Mar 2026
90% match
Domains and Lambda Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)
Cambridge University Press
£51.52
07 Jan 2026
90% match
A Science of Operations: Machines, Logic and the Invention of Programming (History of Computing)
Springer
£100.91
10 Feb 2026
90% match
Theory of Computation
Wiley
£84.57
09 Mar 2026
90% match
Pattern Calculus: Computing with Functions and Structures
Springer
£122.93
09 Mar 2026
90% match
Pattern Calculus: Computing with Functions and Structures
Springer
£91.61
10 Mar 2026
90% match
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. an Eatcs Series)
Springer
£36.31
26 Feb 2026
90% match
LISP, Lore, and Logic: An Algebraic View of LISP Programming, Foundations, and Applications
Springer
£65.31
11 Jan 2026
90% match
Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity
CRC Press
£75.35
25 Feb 2026
90% match
Theoretical Computer Science: Introduction to Automata, Computability, Complexity, Algorithmics, Randomization, Communication, and Cryptography
Springer
£80.59
25 Feb 2026
90% match
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
£56.56
13 Apr 2026
90% match
Compiler Design: Virtual Machines
Springer
£47.22
25 Feb 2026
90% match
Automata and Computability
Springer
£63.13
12 Jan 2026
90% match
Cambridge Two-Level Functional Languages - Series 34 Book
Cambridge University Press
£72.35
05 Mar 2026