10 results
Generalized geometric theories and set-generated classes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1466-1483
-
- Article
- Export citation
The generalised type-theoretic interpretation of constructive set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 71 / Issue 1 / March 2006
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-103
- Print publication:
- March 2006
-
- Article
- Export citation
The Russell–Prawitz modality
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 4 / August 2001
- Published online by Cambridge University Press:
- 25 July 2001, pp. 541-554
-
- Article
- Export citation
Contents
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp v-vi
-
- 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
Frontmatter
-
- Book:
- Proof Theory
- Published online:
- 05 November 2011
- Print publication:
- 11 February 1993, pp i-iv
-
- 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
Two frameworks of theories and their implementation in Isabelle
- from Frameworks
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 3-39
-
- Chapter
- Export citation
Describing ordinals using functionals of transfinite type
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 1 / March 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 35-47
- Print publication:
- March 1972
-
- Article
- Export citation