# Sober spaces and continuations.

Theory and Applications of Categories [electronic only] (2002)

- Volume: 10, page 248-300
- ISSN: 1201-561X

## Access Full Article

top## How to cite

topTaylor, Paul. "Sober spaces and continuations.." Theory and Applications of Categories [electronic only] 10 (2002): 248-300. <http://eudml.org/doc/122423>.

@article{Taylor2002,

author = {Taylor, Paul},

journal = {Theory and Applications of Categories [electronic only]},

keywords = {observable type; predicate transformer; continuation passing style; locally compact space; locally quasi-compact space; locale; prime filter; Sierpinski space; schizophrenic object; Stone duality; strong monad; Kleisli category; premonoidal category; prime lambda term; sober lambda calculus; theory of descriptions; general recursive function},

language = {eng},

pages = {248-300},

publisher = {Mount Allison University, Department of Mathematics and Computer Science, Sackville},

title = {Sober spaces and continuations.},

url = {http://eudml.org/doc/122423},

volume = {10},

year = {2002},

}

TY - JOUR

AU - Taylor, Paul

TI - Sober spaces and continuations.

JO - Theory and Applications of Categories [electronic only]

PY - 2002

PB - Mount Allison University, Department of Mathematics and Computer Science, Sackville

VL - 10

SP - 248

EP - 300

LA - eng

KW - observable type; predicate transformer; continuation passing style; locally compact space; locally quasi-compact space; locale; prime filter; Sierpinski space; schizophrenic object; Stone duality; strong monad; Kleisli category; premonoidal category; prime lambda term; sober lambda calculus; theory of descriptions; general recursive function

UR - http://eudml.org/doc/122423

ER -

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.