1. Home
  2. E-Book
  3. Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn
Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn
Publisher: Elsevier Science 2006
ISBN/ASIN: 0444520775
Number of pages: 273
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic.
Computers & Internet Computer Science Programming Language Theory
Go To Read/Download Page
Home Page

More Free E-Books For Programming Language Theory

Similar Books For Programming Language Theory

1. Crafting Interpreters: A handbook for making programming languages by Robert Nystrom
2. The Design and Implementation of Probabilistic Programming Languages by Noah D. Goodman, Andreas Stuhlmüller
3. Compiler Construction by William M. Waite, Gerhard Goos
4. Purely Functional Data Structures by Chris Okasaki
5. Concrete Semantics: With Isabelle/HOL by Tobias Nipkow, Gerwin Klein
6. Professor Fris by 's Mostly Adequate Guide to Functional Programming
7. Anatomy of Programming Languages by William R. Cook
8. Programming and Programming Languages by Shriram Krishnamurthi
9. Lecture Notes on Static Analysis by Michael I. Schwartzbach
10. Compiler Design in C by Allen I. Holub
11. Write You a Haskell: Building a modern functional compiler from first principles by Stephen Diehl
12. Topics in History and Comparing Programming Languages by Dennie Van Tassel
13. ROSE Compiler Framework by
14. Intuitionistic Type Theory by Per Martin-Loef
15. Introduction to Programming Languages by
16. Programming Languages: Theory and Practice by Robert Harper
17. Homotopy Type Theory by Peter Aczel, et al.
18. Semantics of Programming Languages by Andrew M. Pitts
19. Linkers and Loaders by John R. Levine
20. The Theory of Languages and Computation by Jean Gallier, Andrew Hicks
21. Functional Programming in Qi by Mark Tarver
22. Semantics: Advances in Theories and Mathematical Models by Muhammad Tanvir Afzal (ed.)
23. Exploring Programming Language Architecture in Perl by Bill Hails
24. Formal Languages by Keijo Ruohonen
25. Implementing Programming Languages by Aarne Ranta
26. Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
27. Compiler Construction by
28. Compiler Design: Theory, Tools, and Examples by Seth D. Bergmann
29. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
30. Formal Language Theory for Natural Language Processing by Shuly Wintner
31. A Gentle Introduction to ML by Andrew Cumming
32. Certified Programming with Dependent Types by Adam Chlipala
33. Introduction to Type Theory by Herman Geuvers
34. Lectures on the Curry-Howard Isomorphism by Morten Heine B. Sorensen, Pawel Urzyczyn
35. Compilers and Compiler Generators by P.D. Terry
36. The Z Notation: A Reference Manual by J. M. Spivey
37. Lecture Notes on the Lambda Calculus by Peter Selinger
38. Compositional Semantics by Gary Hardegree
39. Comparative Studies of Programming Languages by Joey Paquet, Serguei A. Mokhov
40. Datalogi V - Programming Languages by A. Filinski, R. Gluck, N. D. Jones
41. Programming in Martin-Lof's Type Theory: An Introduction by Bengt Nordstrom, Kent Petersson, Jan M. Smith
42. Let's Build a Scripting Engine-Compiler by S. Arbayo
43. Lightweight Compiler Techniques by Nils M Holm
44. Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
45. Let Over Lambda: 50 Years of Lisp by Doug Hoyte
46. Language Translation Using PCCTS and C++ by Terence John Parr
47. Proofs and Types by J. Girard, Y. Lafont, P. Taylor
48. Bison: The Yacc-compatible Parser Generator by Charles Donnelly, Richard Stallman
49. Dictionary of Programming Languages by Neal Ziring
50. Implementing Functional Languages: a tutorial by Simon Peyton Jones, David Lester

Free E-Books For Computers & Internet
Free E-Books For Computer Science
Free E-Books For Programming Language Theory



Categories