3 results
Strong normalisation for the linear term calculus
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 5 / Issue 1 / January 1995
- Published online by Cambridge University Press:
- 07 November 2008, pp. 65-80
-
- Article
-
- You have access
- Export citation
Benign paroxysmal torticollis of infancy: four new cases and linkage to CACNA1A mutation
-
- Journal:
- Developmental Medicine and Child Neurology / Volume 44 / Issue 7 / July 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 490-493
- Print publication:
- July 2002
-
- Article
- Export citation
Computational types from a logical perspective
-
- Journal:
- Journal of Functional Programming / Volume 8 / Issue 2 / March 1998
- Published online by Cambridge University Press:
- 01 March 1998, pp. 177-193
-
- Article
-
- You have access
- Export citation