6490 results in Algorithmics, Complexity, Computer Algebra, Computational Geometry
6 - The correspondence with implication
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 74-92
-
- Chapter
- Export citation
Index
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 179-186
-
- Chapter
- Export citation
1 - The type-free λ-calculus
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 1-11
-
- Chapter
- Export citation
2 - Assigning types to terms
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 12-29
-
- Chapter
- Export citation
Contents
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp vii-viii
-
- Chapter
- Export citation
5 - A version using typed terms
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 63-73
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 169-176
-
- Chapter
- Export citation
4 - Type assignment with equality
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 52-62
-
- Chapter
- Export citation
3 - The principal-type algorithm
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 30-51
-
- Chapter
- Export citation
7 - The converse principal-type algorithm
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 93-107
-
- Chapter
- Export citation
9 - Technical details
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 140-160
-
- Chapter
- Export citation
Table of principal types
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 177-178
-
- Chapter
- Export citation
8 - Counting a type's inhabitants
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp 108-139
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Basic Simple Type Theory
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997, pp i-vi
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/65182/cover/9780521465182.jpg)
Basic Simple Type Theory
-
- Published online:
- 02 December 2009
- Print publication:
- 31 July 1997
Frontmatter
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp i-v
-
- Chapter
- Export citation
4 - Classifications and Infomorphisms
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 69-80
-
- Chapter
- Export citation
Index of Definitions
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 272-273
-
- Chapter
- Export citation
21 - Quantum Logic
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 243-255
-
- Chapter
- Export citation
17 - Speech Acts
-
- Book:
- Information Flow
- Published online:
- 05 November 2011
- Print publication:
- 28 July 1997, pp 203-210
-
- Chapter
- Export citation