5570 results in Programming Languages and Applied Logic
Higher-order abstract syntax in type theory
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 65-90
-
- Chapter
- Export citation
An introduction to b-minimality
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 91-102
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp i-vi
-
- Chapter
- Export citation
Hrushovski's amalgamation construction
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 361-373
-
- Chapter
- Export citation
Strong minimal covers and a question of Yates: The story so far
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 213-228
-
- Chapter
- Export citation
A unified approach to algebraic set theory
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 18-37
-
- Chapter
- Export citation
Introduction
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp ix-x
-
- Chapter
- Export citation
The inevitability of logical strength: Strict reverse mathematics
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 135-183
-
- Chapter
- Export citation
Randomness—beyond Lebesgue measure
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 247-279
-
- Chapter
- Export citation
Brief introduction to unprovability
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 38-64
-
- Chapter
- Export citation
The derived model theorem
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 280-327
-
- Chapter
- Export citation
The sixth lecture on algorithmic randomness
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 103-134
-
- Chapter
- Export citation
Applications of logic in algebra: Examples from clone theory
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 184-194
-
- Chapter
- Export citation
On finite imaginaries
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 195-212
-
- Chapter
- Export citation
Embeddings into the Turing degrees
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 229-246
-
- Chapter
- Export citation
Logic Colloquium 2006
-
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009
Contents
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp vii-viii
-
- Chapter
- Export citation
Definability and elementary equivalence in the Ershov difference hierarchy
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 1-17
-
- Chapter
- Export citation
Forcing axioms and cardinal arithmetic
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 328-360
-
- Chapter
- Export citation
References
-
- Book:
- Constraint Handling Rules
- Published online:
- 10 February 2010
- Print publication:
- 09 July 2009, pp 281-290
-
- Chapter
- Export citation