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
-
A Practical Guide to SysML
Friedenthal, Sanford; Moore, Alan; Steiner, Rick
-
Statistical Physics
Landau, L. D.; Lifshitz, E. M.; Pitaevskii, L. P.
-
Signal Processing for Neuroscientists
Drongelen, Wim van
-
Building a Scalable Data Warehouse w...
Linstedt, Dan (Founder and Principal of Empowered Holdings, LLC, St. Albans, VT, USA); Olschimke, Michael (BI Consultant
-
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
-
Electric Motors and Drives
Hughes, Austin (Department of Electrical and Electronic Engineering, University of Leeds, UK); Drury, William
-
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