6 results
Quantales, observational logic and process semantics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 3 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 04 March 2009, pp. 161-227
-
- Article
- Export citation
Sublocales in formal topology
-
- Journal:
- The Journal of Symbolic Logic / Volume 72 / Issue 2 / June 2007
- Published online by Cambridge University Press:
- 12 March 2014, pp. 463-482
- Print publication:
- June 2007
-
- Article
- Export citation
Strongly algebraic = SFP (topically)
-
- Journal:
- Mathematical Structures in Computer Science / Volume 11 / Issue 6 / December 2001
- Published online by Cambridge University Press:
- 09 January 2002, pp. 717-742
-
- Article
- Export citation
Topical categories of domains
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 5 / October 1999
- Published online by Cambridge University Press:
- 01 October 1999, pp. 569-616
-
- Article
- Export citation
Constructive points of powerlocales
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 122 / Issue 2 / September 1997
- Published online by Cambridge University Press:
- 01 September 1997, pp. 207-222
- Print publication:
- September 1997
-
- Article
- Export citation
Patients at a Psychiatric Walk-in Clinic — Who, How, Why and When
-
- Journal:
- Bulletin of the Royal College of Psychiatrists / Volume 11 / Issue 10 / October 1987
- Published online by Cambridge University Press:
- 02 January 2018, pp. 329-332
- Print publication:
- October 1987
-
- Article
-
- You have access
- Open access
- Export citation