Relational properties of domains
From MaRDI portal
Publication:1923093
DOI10.1006/inco.1996.0052zbMath0868.68037MaRDI QIDQ1923093
Publication date: 17 August 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/0620b9ab85303605a39f6f3a4e2edeb763972771
68P05: Data structures
Related Items
Denotational aspects of untyped normalization by evaluation, A calculus of coroutines, On the relations between monadic semantics, Semantical analysis of perpetual strategies in \(\lambda\)-calculus, Structural induction and coinduction in a fibrational setting, A domain-theoretic semantics of lax generic functions., Semantics and logic of object calculi, Universal coalgebra: A theory of systems, Game semantics and linear CPS interpretation, Relational interpretations of recursive types in an operational setting., Games and full abstraction for FPC., Computational adequacy for recursive types in models of intuitionistic set theory, A specification structure for deadlock-freedom of synchronous processes, Infinite trace equivalence, A relational account of call-by-value sequentiality, On a monadic semantics for freshness, On Normalization by Evaluation for Object Calculi, Logical relations for monadic types, Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types, Unnamed Item