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, Some reasons for generalising domain theory