4 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
Modelling general recursion in type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 4 / August 2005
- Published online by Cambridge University Press:
- 15 July 2005, pp. 671-708
-
- Article
- Export citation
Setoids in type theory
-
- Journal:
- Journal of Functional Programming / Volume 13 / Issue 2 / March 2003
- Published online by Cambridge University Press:
- 20 March 2003, pp. 261-293
-
- Article
-
- You have access
- Export citation
A general method for proving the normalization theorem for first and second order typed λ-calculi
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 6 / December 1999
- Published online by Cambridge University Press:
- 01 December 1999, pp. 719-739
-
- Article
- Export citation