Sober spaces and continuations.

Taylor, 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 -