A synthetic theory of sequential domains

DOI10.1016/J.APAL.2011.12.028MaRDI QIDQ424548zbMATH OpenOpenAlexFDO

Authors Bernhard Reus, Thomas Streicher

Publication date 1 June 2012

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2011.12.028

zbMATH Keywords

sequentialityaxiomatic semanticssynthetic domain theory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• General synthetic domain theory – a logical approach
• Extensional -spaces in type theory
• Formalizing synthetic domain theory. The basic definitions
• scientific article; zbMATH DE number 1086664
• scientific article; zbMATH DE number 1086725

Cites work

• scientific article; zbMATH DE number 3950510 (Why is no real title available?)
• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 1005001 (Why is no real title available?)
• scientific article; zbMATH DE number 1479606 (Why is no real title available?)
• scientific article; zbMATH DE number 1531368 (Why is no real title available?)
• scientific article; zbMATH DE number 1405588 (Why is no real title available?)
• A fixpoint theorem for complete categories
• A uniform approach to domain theory in realizability models
• Axioms and (counter)examples in synthetic domain theory
• Extensional \(\Sigma\)-spaces in type theory
• Formalizing synthetic domain theory. The basic definitions
• Fully abstract semantics for observably sequential languages
• General synthetic domain theory – a logical approach
• Impredicativity entails untypedness
• Locally Boolean domains
• On full abstraction for PCF: I, II and III
• On the symmetry of sequentiality
• Projecting sequential algorithms on strongly stable functions
• The sequentially realizable functionals
• Two models of synthetic domain theory
• Universality Results for Models in Locally Boolean Domains

Cited in

(4)

• scientific article; zbMATH DE number 19486 (Why is no real title available?)
• Formalizing synthetic domain theory. The basic definitions
• A theory of sequentiality
• A syntactic theory of sequential state

This page was built for publication: A synthetic theory of sequential domains

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q424548)