24 results
13 - Grammars as software libraries
-
-
- Book:
- From Semantics to Computer Science
- Published online:
- 06 August 2010
- Print publication:
- 24 September 2009, pp 281-308
-
- Chapter
- Export citation
A pattern for almost compositional functions
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 18 / Issue 5-6 / September 2008
- Published online by Cambridge University Press:
- 02 September 2008, pp. 567-598
-
- Article
-
- You have access
- Export citation
Grammatical Framework
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 2 / March 2004
- Published online by Cambridge University Press:
- 22 January 2004, pp. 145-189
-
- Article
-
- You have access
- Export citation
PREFACE
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp ix-x
-
- Chapter
- Export citation
Contents
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp v-viii
-
- Chapter
- Export citation
APPENDIX C - PESCA – A PROOF EDITOR FOR SEQUENT CALCULUS (by Aarne Ranta)
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 235-244
-
- Chapter
- Export citation
APPENDIX A - SIMPLE TYPE THEORY AND CATEGORIAL GRAMMAR
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 219-224
-
- Chapter
- Export citation
4 - THE QUANTIFIERS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 61-86
-
- Chapter
- Export citation
INTRODUCTION
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp xi-xviii
-
- Chapter
- Export citation
8 - BACK TO NATURAL DEDUCTION
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 165-210
-
- Chapter
- Export citation
1 - FROM NATURAL DEDUCTION TO SEQUENT CALCULUS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 1-24
-
- Chapter
- Export citation
SUBJECT INDEX
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 253-256
-
- Chapter
- Export citation
6 - STRUCTURAL PROOF ANALYSIS OF AXIOMATIC THEORIES
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 126-155
-
- Chapter
- Export citation
2 - SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 25-46
-
- Chapter
- Export citation
3 - SEQUENT CALCULUS FOR INTUITIONISTIC LOGIC
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 47-60
-
- Chapter
- Export citation
5 - VARIANTS OF SEQUENT CALCULI
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 87-125
-
- Chapter
- Export citation
APPENDIX B - PROOF THEORY AND CONSTRUCTIVE TYPE THEORY
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 225-234
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805217/93070/cover/9780521793070.jpg)
Structural Proof Theory
-
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001
Frontmatter
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp i-iv
-
- Chapter
- Export citation
INDEX OF LOGICAL SYSTEMS
-
- Book:
- Structural Proof Theory
- Published online:
- 25 February 2010
- Print publication:
- 18 June 2001, pp 257-257
-
- Chapter
- Export citation