3 results
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