Intuitionistic Type Theory by Per Martin-Loef

Intuitionistic Type Theory

Intuitionistic Type Theory by Per Martin-Loef
1980
Number of pages: 57
Contents: Introductory remarks; Propositions and judgements; Explanations of the forms of judgement; Propositions; Rules of equality; Hypothetical judgements and substitution rules; Judgements with more than one assumption and contexts; Sets and categories; General remarks on the rules; Cartesian product of a family of sets; Definitional equality; Applications of the cartesian product; Disjoint union of a family of sets; Applications of the disjoint union; The axiom of choice; The notion of such that; Disjoint union of two sets; Propositional equality; Finite sets; Consistency; Natural numbers; Lists; Wellorderings; Universes.
Computers & Internet Computer Science Programming Language Theory Type Theory



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. Compiler Construction by William M. Waite, Gerhard Goos
3. Purely Functional Data Structures by Chris Okasaki
4. Professor Fris by 's Mostly Adequate Guide to Functional Programming
5. Compiler Design in C by Allen I. Holub
6. Write You a Haskell: Building a modern functional compiler from first principles by Stephen Diehl
7. ROSE Compiler Framework by
8. Intuitionistic Type Theory by Per Martin-Loef
9. Homotopy Type Theory by Peter Aczel, et al.
10. Functional Programming in Qi by Mark Tarver
11. Implementing Programming Languages by Aarne Ranta
12. Real World Functional Programming by Tomas Petricek, Jon Skeet, Yin Zhu
13. Compiler Construction by
14. Compiler Design: Theory, Tools, and Examples by Seth D. Bergmann
15. Category Theory and Functional Programming by Mikael Vejdemo-Johansson
16. A Gentle Introduction to ML by Andrew Cumming
17. Certified Programming with Dependent Types by Adam Chlipala
18. Introduction to Type Theory by Herman Geuvers
19. Compilers and Compiler Generators by P.D. Terry
20. Programming in Martin-Lof's Type Theory: An Introduction by Bengt Nordstrom, Kent Petersson, Jan M. Smith
21. Let's Build a Scripting Engine-Compiler by S. Arbayo
22. Lightweight Compiler Techniques by Nils M Holm
23. Functional Programming and Parallel Graph Rewriting by Rinus Plasmeijer, Marko van Eekelen
24. Language Translation Using PCCTS and C++ by Terence John Parr
25. Bison: The Yacc-compatible Parser Generator by Charles Donnelly, Richard Stallman
26. The Power PC Compiler Writer's Guide by Steve Hoxey, at al.
27. Understanding and Writing Compilers by Richard Bornat
28. Using and Porting the GNU Compiler Collection (GCC) by Vincent Chung
29. GNU Compiler Collection (GCC) Internals by
30. Project Oberon - The Design of an Operating System and Compiler by Niklaus Wirth, Jürg Gutknecht
31. Concurrent Programming in Erlang by Robert Virding, Claes Wikstrom, Mike Williams
32. Let's Build a Compiler by Jack Crenshaw
33. An Introduction to Compilers by Dirk Vermeir
34. Compiler Construction using Flex and Bison by Anthony A. Aa
35. Compiler Construction by Niklaus Wirth
36. Basics of Compiler Design by Torben Mogensen
37. Type Theory and Functional Programming by Simon Thompson
38. The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
39. Programming in Standard ML by Robert Harper
40. The Design of Functional Programs - A Calculational Approach by Dr. Robert Richard Hoogerwoord
41. Parsing Techniques: A Practical Guide by Dick Grune, Ceriel J. H. Jacobs
42. The GENTLE Compiler Construction System by Friedrich Wilhelm Schröer



Categories