Coherence spaces are untopological

DOI10.1016/0304-3975(91)90187-7zbMath0742.68048OpenAlexW2087198532WikidataQ126557447 ScholiaQ126557447MaRDI QIDQ1178707

Inge Bethke

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90187-7

zbMATH Keywords

stable mapcartesian closed categoryScott domainscoherence space

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Combinatory logic and lambda calculus (03B40) Generalities in topology (54A99)

Cites Work

• Unnamed Item
• The system \({\mathcal F}\) of variable types, fifteen years later

This page was built for publication: Coherence spaces are untopological