8 results
Preface to Special Issue: LSFA 2019 and 2020
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 9 / October 2022
- Published online by Cambridge University Press:
- 29 March 2023, pp. 1117-1118
-
- Article
-
- You have access
- HTML
- Export citation
A focused linear logical framework and its application to metatheory of object logics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 3 / March 2021
- Published online by Cambridge University Press:
- 15 November 2021, pp. 312-340
-
- Article
- Export citation
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
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 9 / October 2018
- Published online by Cambridge University Press:
- 05 May 2017, pp. 1507-1540
-
- Article
- Export citation
Higher-order abstract syntax in type theory
-
-
- Book:
- Logic Colloquium 2006
- Published online:
- 28 January 2010
- Print publication:
- 07 September 2009, pp 65-90
-
- Chapter
- Export citation
Dependent types ensure partial correctness of theorem provers
-
- Journal:
- Journal of Functional Programming / Volume 14 / Issue 1 / January 2004
- Published online by Cambridge University Press:
- 14 January 2004, pp. 3-19
-
- Article
-
- You have access
- Export citation
Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf
-
- Journal:
- Theory and Practice of Logic Programming / Volume 4 / Issue 1-2 / January 2004
- Published online by Cambridge University Press:
- 06 January 2004, pp. 1-39
-
- Article
- 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