Two models of synthetic domain theory

DOI10.1016/S0022-4049(96)00164-8zbMath0879.18007MaRDI QIDQ678839

Giuseppe Rosolini, Marcelo P. Fiore

Publication date: 11 January 1998

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

Grothendieck topossynthetic domain theoryScott domains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Topoi (18B25)

Related Items

A synthetic theory of sequential domains, Left and right adjoint operations on spaces and data types, Computer theorem proving in mathematics, Domains in \(H\), Axioms and (counter)examples in synthetic domain theory

Cites Work

• Generalized Banach-Mazur functionals in the topos of recursive sets
• Sheaves in geometry and logic: a first introduction to topos theory
• Data Types as Lattices
• Axiomatic Domain Theory in Categories of Partial Maps
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item