6 results
Simulating expansions without expansions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 315-362
-
- Article
- Export citation
Provable isomorphisms of types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 2 / June 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 231-247
-
- Article
- Export citation
Deciding type isomorphisms in a type-assignment framework†
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 3 / Issue 4 / October 1993
- Published online by Cambridge University Press:
- 07 November 2008, pp. 485-525
-
- Article
-
- You have access
- Export citation
A confluent reduction for the λ-calculus with surjective pairing and terminal object
- Part of
-
- Journal:
- Journal of Functional Programming / Volume 6 / Issue 2 / March 1996
- Published online by Cambridge University Press:
- 07 November 2008, pp. 299-327
-
- Article
-
- You have access
- Export citation
A short survey of isomorphisms of types
-
- Journal:
- Mathematical Structures in Computer Science / Volume 15 / Issue 5 / October 2005
- Published online by Cambridge University Press:
- 04 October 2005, pp. 825-838
-
- Article
- Export citation
Proof nets and explicit substitutions
-
- Journal:
- Mathematical Structures in Computer Science / Volume 13 / Issue 3 / June 2003
- Published online by Cambridge University Press:
- 20 May 2003, pp. 409-450
-
- Article
- Export citation