Lectures on the Curry-Howard Isomorphism
9
%
3454 Kč 3 803 Kč
Sleva až 70% u třetiny knih
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as in type theory. The isomorphism has many aspects, even at syntactic level. This book offers an introduction to the proof theory and related aspects of type theory relevant for the isomorphism.
| Autor: | Sorensen, Morten Heine; Urzyczyn, Pawel |
| Nakladatel: | Elsevier Science & Technology |
| ISBN: | 9780444520777 |
| Rok vydání: | 2006 |
| Jazyk : | Angličtina |
| Vazba: | Hardback |
| Počet stran: | 456 |
Mohlo by se vám také líbit..
-
ARM-based Microcontroller Projects U...
Ibrahim, Dogan
-
Building a Scalable Data Warehouse w...
Linstedt, Dan (Founder and Principal of Empowered Holdings, LLC, St. Albans, VT, USA); Olschimke, Michael (BI Consultant
-
Statistical Physics
Landau, L. D.; Lifshitz, E. M.; Pitaevskii, L. P.
-
Signal Processing for Neuroscientists
Drongelen, Wim van
-
Designing Embedded Systems with PIC ...
Wilmshurst, Tim (Head of Electronics, University of Derby, UK)
-
5G Core Networks
Rommer, Stefan (Senior Specialist, Ericsson in Gothenburg, Sweden); Hedman, Peter (Consultant, Ericsson); Olsson, Magnus
-
Public-Private Partnerships
Yescombe, E. R.
-
Visual Thinking
Ware, Colin
-
The Definitive Guide to ARM (R) Corte...
Yiu, Joseph
-
Mechanics
Landau, L. D.; Lifshitz, E. M.; Pitaevskii, L. P.
-
RF Circuit Design
Bowick, Christopher; Ajluni, Cheryl; Blyler, John
-
Linkers and Loaders
John R. Levine
-
Effective Interviewing and Interroga...
Gordon, Nathan J. (Director of The Academy for Scientific Investigative Training, Philadelphia, PA, USA); Fleisher, Will
-
Statistical Mechanics
Pathria, R.K. (Theoretical Physicist, University of California, San Diego, USA); Beale, Paul D. (Professor of Physics, U
-
Computer Organization and Design RISC...
Patterson, David
-
Electrodynamics of Continuous Media
Landau, L. D.; Lifshitz, E. M.; Pitaevskii, L. P.