Domains in \(H\)

DOI10.1016/S0304-3975(00)00221-8zbMath0974.68112MaRDI QIDQ5941556

Giuseppe Rosolini, Marcelo P. Fiore

Publication date: 20 August 2001

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

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

Computational adequacy for recursive types in models of intuitionistic set theory

Cites Work

• Two models of synthetic domain theory
• A presentation of the initial lift-algebra
• Sheaves in geometry and logic: a first introduction to topos theory
• Extensional PERs
• Repleteness and the associated sheaf
• Category theory and computer science. 6th international conference, CTCS '95, Cambridge, United Kingdom, August 7--11, 1995. Proceedings
• Categories of continuous functors. I
• A uniform approach to domain theory in realizability models
• An enrichment theorem for an axiomatisation of categories of domains and continuous functions
• Axiomatic Domain Theory in Categories of Partial Maps
• The S-replete construction
• An exper model for Quest
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item