34 results
9 - Extension of λC with definitions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 189-210
-
- Chapter
- Export citation
Index of definitions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 421-422
-
- Chapter
- Export citation
Preface
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xv-xxvi
-
- Chapter
- Export citation
Index of symbols
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 423-424
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xxvii-xxvii
-
- Chapter
- Export citation
11 - Flag-style natural deduction in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 225-256
-
- Chapter
- Export citation
6 - The Calculus of Constructions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 123-136
-
- Chapter
- Export citation
4 - Types dependent on types
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 85-102
-
- Chapter
- Export citation
Index of subjects
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 425-436
-
- Chapter
- Export citation
Contents
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp vii-xii
-
- Chapter
- Export citation
Appendix C - Two complete example proofs in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 403-408
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp i-vi
-
- Chapter
- Export citation
10 - Rules and properties of λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 211-224
-
- Chapter
- Export citation
2 - Simply typed lambda calculus
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 33-68
-
- Chapter
- Export citation
1 - Untyped lambda calculus
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 1-32
-
- Chapter
- Export citation
Appendix A - Logic in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 391-396
-
- Chapter
- Export citation
8 - Definitions
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 165-188
-
- Chapter
- Export citation
13 - Sets and subsets
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 279-304
-
- Chapter
- Export citation
5 - Types dependent on terms
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 103-122
-
- Chapter
- Export citation
Index of names
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 419-420
-
- Chapter
- Export citation