Weitere Formate
Softcover - 9783642057465
53,49 €
Autorenfreundlich Bücher kaufen?!
Beschreibung
The book contains a completely new presentation of classical results in the field of Lambda Calculus, together with new results. The text is unique in that it presents a new calculus (Parametric Lambda Calculus) which can be instantiated to obtain already known lambda-calculi. Some properties, which in the literature have been proved separately for different calculi, can be proved once for the Parametric one. The lambda calculi are presented from a Computer Science point of view, with a particular emphasis on their semantics, both operational and denotational.
A Metamodel for Computation
A Metamodel for Computation
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 05. Juli 2004 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 1250 Gramm |
| Format | Hardcover |
| ISBN-13 | 9783540200321 |
| Auflage | 2004 |
| Seiten | 248 |
Schlagwörter
Artificial Intelligence, Compiler und Übersetzer, Compilers and Interpreters, Computation by Abstract Devices, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Künstliche Intelligenz, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations, Mathematik: Logik, Mathematische Grundlagen, Programming Languages - Compilers - Interpreters, Theoretische Informatik, Theory of Computation
Bekannt durch
