2 results
Local realizability toposes and a modal logic for computability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 3 / June 2002
- Published online by Cambridge University Press:
- 06 August 2002, pp. 319-334
-
- Article
- Export citation
Topological representation of the λ-calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 10 / Issue 1 / February 2000
- Published online by Cambridge University Press:
- 01 February 2000, pp. 81-96
-
- Article
- Export citation