paper: from Chu spaces to cpos

• To: types@dcs.gla.ac.uk
• Subject: paper: from Chu spaces to cpos
• From: lamarche@lmd.univ-mrs.fr (Francois LAMARCHE)
• Date: Mon, 31 Jul 95 17:27:06 +0200
• Approved: types@dcs.gla.ac.uk

I would like to announce the following paper:

       FROM CHU SPACES TO CPOS,

to appear in: Chris Hankin, Ian Mackie and Raja Nagarajan, eds.,
Proceedings of the Second Imperial College Department of Computing, Workshop on
Theory and Formal Methods, Moller Center, Cambridge, UK, 11-14 September 1994,
World Scientific Publishing Co., 1995.

Abstract:

We present models of full classical linear logic, whose Kleisli categories
for the exponential comonad are cartesian closed categories of topological 
spaces and continuous functions.  One of these categories is dcpos and
Scott-continuous functions and another one its full subcategory given by the
dcpos with bottom. They turn out to be proper subcategories of a cartesian
closed category of topological spaces satisfying an ``anti-separation''
axiom which we think is new.

The paper is available by ftp at the Imperial College archives:

theory.doc.ic.ac.uk/home/theory/papers/Lamarche,

and is also linked to my home page:  http://theory.doc.ic.ac.uk/~gfl



Francois Lamarche

• Prev: Advances in Linear Logic (corrected)
• Next: The relationship between exceptions and call/cc
• Index(es):
  • Main
  • Thread