General synthetic domain theory – a logical approach

DOI10.1017/S096012959900273XzbMath1018.03051MaRDI QIDQ4248542

Thomas Streicher, Bernhard Reus

Publication date: 11 September 2003

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

constructive type theorysynthetic domain theoryinduction principlespredomains

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50)

Related Items

Computational adequacy for recursive types in models of intuitionistic set theory, The Scott model of PCF in univalent type theory, A synthetic theory of sequential domains, Some reasons for generalising domain theory, Continuous Domains in Formal Concept Analysis*, Comparing free algebras in topological and classical domain theory, A Convenient Category of Domains