5570 results in Programming Languages and Applied Logic
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
Appendix D - Derivation rules for λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 409-410
-
- Chapter
- Export citation
14 - Numbers and arithmetic in λD
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 305-348
-
- Chapter
- Export citation
7 - The encoding of logical notions in λC
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 137-164
-
- Chapter
- Export citation
3 - Second order typed lambda calculus
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 69-84
-
- Chapter
- Export citation
Greek alphabet
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp xxviii-xxviii
-
- Chapter
- Export citation
12 - Mathematics in λD: a first attempt
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 257-278
-
- Chapter
- Export citation
16 - Further perspectives
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 379-390
-
- Chapter
- Export citation
Appendix B - Arithmetical axioms, definitions and lemmas
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 397-402
-
- Chapter
- Export citation
15 - An elaborated example
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 349-378
-
- Chapter
- Export citation
References
-
- Book:
- Type Theory and Formal Proof
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014, pp 411-418
-
- Chapter
- Export citation
Type Theory and Formal Proof
- An Introduction
-
- Published online:
- 05 November 2014
- Print publication:
- 06 November 2014
Preface
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp ix-xii
-
- Chapter
- Export citation
1 - What is functional programming?
-
- Book:
- Thinking Functionally with Haskell
- Published online:
- 05 November 2014
- Print publication:
- 09 October 2014, pp 1-21
-
- Chapter
- Export citation