5571 results in Programming Languages and Applied Logic
Nederpelt's calculus extended with a notion of context as a logical framework
- from Frameworks
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 69-86
-
- Chapter
- Export citation
Logical Issues
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 363-364
-
- Chapter
- Export citation
An algorithm for testing conversion in type theory
- from Type Theory
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 255-279
-
- Chapter
- Export citation
Finding computational content in classical proofs
- from Proofs and Computation
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 341-362
-
- Chapter
- Export citation
Logical Frameworks
-
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991
Introduction
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp ix-xii
-
- Chapter
- Export citation
Structural frameworks, substructural logics, and the role of elimination inferences
- from Logical Issues
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 385-403
-
- Chapter
- Export citation
Models of partial inductive definitions
- from Logical Issues
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 365-384
-
- Chapter
- Export citation
Contents
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp v-vi
-
- Chapter
- Export citation
Goal directed proof construction in type theory
- from Implementations
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 120-148
-
- Chapter
- Export citation
Encoding dependent types in an intuitionistic logic
- from Representing Formal Systems
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 215-252
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, 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
Representing Formal Systems
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 183-184
-
- Chapter
- Export citation
Operational semantics in a natural deduction setting
- from Representing Formal Systems
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 185-214
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp i-iv
-
- Chapter
- Export citation
Implementations
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 87-88
-
- Chapter
- Export citation
Proofs and Computation
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 307-308
-
- Chapter
- Export citation
Frameworks
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 1-2
-
- Chapter
- Export citation
Proof-search in the λΠ-calculus
- from Proofs and Computation
-
-
- Book:
- Logical Frameworks
- Published online:
- 04 August 2010
- Print publication:
- 26 September 1991, pp 309-340
-
- Chapter
- Export citation