Abstract Computing Machines A Lambda Calculus Perspective
Main Author: | Kluge, William S. |
---|---|
Other Authors: | Brauer, W., Rozenberg, Grzegorz, Salomaa, A. |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2005
|
Series: | Texts in Theoretical Computer Science, An EATCS Series
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/b138965 |
Similar Items
-
Semantics with Applications: An Appetizer
by: Nielson, Hanne Riis
Published: (2007) -
Abstraction, Refinement and Proof for Probabilistic Systems
by: McIver, Annabelle
Published: (2005) -
DRAWING PROGRAMS:The Theory and Practice of Schematic Functional Programming
by: Addis, Tom
Published: (2010) -
Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers
by: Pnueli, Amir
Published: (2010) -
Software Engineering 3 Domains, Requirements, and Software Design
by: BjΓΈner, Dines
Published: (2006)