General synthetic domain theory – a logical approach
From MaRDI portal
Publication:4248542
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)
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
18C50: Categorical semantics of formal languages
Related Items
A synthetic theory of sequential domains, Comparing free algebras in topological and classical domain theory, Computational adequacy for recursive types in models of intuitionistic set theory, A Convenient Category of Domains, Some reasons for generalising domain theory