The Parametric Lambda Calculus
11
%
1924 Kč 2 156 Kč
Sleva až 70% u třetiny knih
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.
| Autor: | Ronchi Della Rocca, Simona; Paolini, Luca |
| Nakladatel: | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG |
| ISBN: | 9783642057465 |
| Rok vydání: | 2010 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 248 |
Mohlo by se vám také líbit..
-
Antibiotika in Der Praxis 2019 - 2020
Frank, Uwe
-
Complex Scheduling
Brucker, Peter; Knust, Sigrid
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
Computational Geometry
Bergin Mark
-
SAP ABAP
Markandeya, Sushil
-
Topologie Generale
Bourbaki, N
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Elementary Number Theory
Jones, Gareth
-
Confidentiality in International Com...
Noussia, Kyriaki
-
Advances in Cerebral Angiography
-
Intracranial Angiomas. Neurosurgical...
-
Theory of Metal Forming Plasticity
Sluzalec, Andrzej
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick
-
Fluid Mechanics
Durst, Franz
