3 results
Spatiality of countably presentable locales (proved with the Baire category theorem)
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1607-1625
-
- Article
- Export citation
A Cartesian closed extension of the category of locales
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 231-253
-
- Article
- Export citation
A functional description of TEX's formula layout
-
- Journal:
- Journal of Functional Programming / Volume 7 / Issue 5 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 451-485
-
- Article
-
- You have access
- Export citation