5571 results in Programming Languages and Applied Logic
4 - Higher-Order Equational Unification
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 45-88
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp i-iv
-
- Chapter
- Export citation
2 - Simply Typed λ-Calculus
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp 17-26
-
- Chapter
- Export citation
Contents
-
- Book:
- The Clausal Theory of Types
- Published online:
- 12 January 2010
- Print publication:
- 22 April 1993, pp v-vi
-
- Chapter
- Export citation
Contents
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp v-vi
-
- Chapter
- Export citation
A short course in ordinal analysis
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 27-78
-
- Chapter
- Export citation
Basic proof theory
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 1-26
-
- Chapter
- Export citation
Provable computable selection functions on abstract structures
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 275-306
-
- Chapter
- Export citation
Programme of lectures
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp ix-x
-
- Chapter
- Export citation
A simplified version of local predicativity
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 115-148
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp i-iv
-
- Chapter
- Export citation
Logics for termination and correctness of functional programs, II. Logics of strength PRA
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 195-226
-
- Chapter
- Export citation
Fragments of Kripke-Platek set theory with infinity
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 251-274
-
- Chapter
- Export citation
Proof Theory
- A selection of papers from the Leeds Proof Theory Programme 1990
-
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993
Preface
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp vii-viii
-
- Chapter
- Export citation
Proofs as Programs
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 79-114
-
- Chapter
- Export citation
Termination orderings and complexity characterisations
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 171-194
-
- Chapter
- Export citation
A note on bootstrapping intuitionistic bounded arithmetic
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 149-170
-
- Chapter
- Export citation
Reflecting the semantics of reflected proof
-
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp 227-250
-
- Chapter
- Export citation
7 - Asynchronism and Sensitivity
-
- Book:
- Information Dispersal and Parallel Computation
- Published online:
- 03 October 2009
- Print publication:
- 29 January 1993, pp 110-122
-
- Chapter
- Export citation