A synthetic theory of sequential domains
type: Item
instance of: scholarly article
title: A synthetic theory of sequential domains
zbMATH Open document ID: 1243.68207
author: Bernhard Reus
author: Thomas Streicher
published in: Annals of Pure and Applied Logic
publication date: 2012-06-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6040333
zbMATH Keywords: synthetic domain theory
zbMATH Keywords: sequentiality
zbMATH Keywords: axiomatic semantics
MaRDI profile type: MaRDI publication profile
full work available at URL: j.apal.2011.12.028
OpenAlex ID: W1997498689
cites work: Q4222034
cites work: Q4490717
cites work: Fully abstract semantics for observably sequential languages
cites work: On the symmetry of sequentiality
cites work: Projecting sequential algorithms on strongly stable functions
cites work: Two models of synthetic domain theory
cites work: On full abstraction for PCF: I, II and III
cites work: Q3978973
cites work: Locally Boolean domains
cites work: A fixpoint theorem for complete categories
cites work: Impredicativity entails untypedness
cites work: Q4513585
cites work: The sequentially realizable functionals
cites work: A uniform approach to domain theory in realizability models
cites work: Universality Results for Models in Locally Boolean Domains
cites work: Q4335371
cites work: Extensional \(\Sigma\)-spaces in type theory
cites work: Formalizing synthetic domain theory. The basic definitions
cites work: Q3720583
cites work: General synthetic domain theory – a logical approach
cites work: Q4938567
cites work: Axioms and (counter)examples in synthetic domain theory
DOI: 10.1016/J.APAL.2011.12.028
description: scientific article; zbMATH DE number 6040333