21 results
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller’s 60th birthday
-
- Journal:
- Mathematical Structures in Computer Science / Volume 29 / Issue 8 / September 2019
- Published online by Cambridge University Press:
- 08 October 2019, pp. 1007-1008
-
- Article
-
- You have access
- Export citation
9 - Implementing Proof Systems
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 229-246
-
- Chapter
- Export citation
Contents
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp vii-x
-
- Chapter
- Export citation
8 - Unification of λ-Terms
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 211-228
-
- Chapter
- Export citation
Index
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 301-306
-
- Chapter
- Export citation
1 - First-Order Terms and Representations of Data
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 10-33
-
- Chapter
- Export citation
6 - Mechanisms for Structuring Large Programs
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 150-174
-
- Chapter
- Export citation
3 - First-Order Hereditary Harrop Formulas
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 75-95
-
- Chapter
- Export citation
Programming with Higher-Order Logic
-
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012
Frontmatter
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp i-vi
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 289-300
-
- Chapter
- Export citation
Introduction
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 1-9
-
- Chapter
- Export citation
Appendix - The Teyjus System
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 277-288
-
- Chapter
- Export citation
2 - First-Order Horn Clauses
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 34-74
-
- Chapter
- Export citation
Preface
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp xi-xiv
-
- Chapter
- Export citation
11 - Encoding a Process Calculus Language
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 261-276
-
- Chapter
- Export citation
4 - Typed λ-Terms and Formulas
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 96-117
-
- Chapter
- Export citation
7 - Computations over λ-Terms
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 175-210
-
- Chapter
- Export citation
10 - Computations over Functional Programs
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 247-260
-
- Chapter
- Export citation
5 - Using Quantification at Higher-Order Types
-
- Book:
- Programming with Higher-Order Logic
- Published online:
- 05 August 2012
- Print publication:
- 11 June 2012, pp 118-149
-
- Chapter
- Export citation