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
-
Basic Stochastic Processes
Brzezniak, Zdzislaw; Zastawniak, Tomasz
-
Topologie Generale
Bourbaki, N
-
Astronomie Mit Dem Personal Computer
Montenbruck, Oliver
-
Algorithms and Data Structures
Mehlhorn, Kurt; Sanders, Peter
-
Interaktionsspiele Bei Psychopathie
Sachse, Rainer
-
Beginning COBOL for Programmers
Coughlan, Michael; Cronin, Patricia
-
Introductory Mathematics: Algebra an...
Nowell-Smith, Geoffrey
-
Fundamentals of Business Process Man...
Dumas, Marlon; La Rosa, Marcello; Mendling, Jan; Reijers, Hajo A.
-
Iridium Catalysis
-
Contrast Media in Radiology
-
Confidentiality in International Com...
Noussia, Kyriaki
-
Das C++ Kompendium
Brands, Gilbert
-
Organic Reaction Mechanisms
Gallego, Gomez M.; Sierra, Angel M.
-
Foundations of Python Network Progra...
Rhodes, Brandon; Goerzen, John
-
Advanced Practical Process Control
Roffel, Brian; Chin, Patrick