Data Types as Lattices

DOI10.1137/0205037zbMath0337.02018OpenAlexW4211265583MaRDI QIDQ4103509

Dana S. Scott

Publication date: 1976

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/359eca57fe42d97cbb67f0b5591869abe5eb5421

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Combinatory logic and lambda calculus (03B40) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (only showing first 100 items - show all)

Typed equivalence, type assignment, and type containment ⋮ The interpretation of unsolvable λ-terms in models of untyped λ-calculus ⋮ My ADT Shrine ⋮ A Cartesian closed category of domains with almost algebraic bases ⋮ Algebraic semantics and complexity of term rewriting systems ⋮ Trees from Functions as Processes ⋮ Linear time and branching time semantics for recursion with merge ⋮ Universal domains and the amalgamation property ⋮ Building domains from graph models ⋮ Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle ⋮ Unnamed Item ⋮ Tree structure for distributive lattices and its applications ⋮ Unnamed Item ⋮ Constructive natural deduction and its ‘ω-set’ interpretation ⋮ Semantics of the second order lambda calculus ⋮ Unnamed Item ⋮ A class of bounded functions, a database language and an extended lambda calculus ⋮ Labelled reductions, runtime errors, and operational subsumption ⋮ Effective inseparability in a topological setting ⋮ Unnamed Item ⋮ Unified Algebras and action semantics ⋮ Higher-order order-sorted algebras ⋮ An abstract interpretation for ML equality kinds ⋮ Full abstraction and the Context Lemma (preliminary report) ⋮ Wrapper semantics of an object-oriented programming language with state ⋮ Equilogical spaces and algebras for a double-power monad ⋮ Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator ⋮ The equational logic of fixed points ⋮ An algebraic theory for data linkage ⋮ Extensions of Scott's graph model and Kleene's second algebra ⋮ THE WADGE ORDER ON THE SCOTT DOMAIN IS NOT A WELL-QUASI-ORDER ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Splitting and nonsplitting in the \(\Sigma_2^0\) enumeration degrees ⋮ Categorical semantics for higher order polymorphic lambda calculus ⋮ A stable universal domain related to ^ω ⋮ Correctness of compiling polymorphism to dynamic typing ⋮ Tarski’s Influence on Computer Science ⋮ Call-by-name Gradual Type Theory ⋮ Unnamed Item ⋮ Verifying of interface assertions for infinite state Mealy machines ⋮ What is a universal higher-order programming language? ⋮ Unnamed Item ⋮ Logic and functional programming by retractions ⋮ State-transition machines for lambda-calculus expressions ⋮ Collapsing partial combinatory algebras ⋮ R n - and G n -logics ⋮ Assertions and recursions ⋮ Stochastic \(\lambda\)-calculi: an extended abstract ⋮ From Böhm's Theorem to Observational Equivalences ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Unnamed Item ⋮ Sobriety for equilogical spaces ⋮ Anatomy of a domain of continuous random variables. I ⋮ New perspectives of granular computing in relation geometry induced by pairings ⋮ Anatomy of a Domain of Continuous Random Variables II ⋮ Cartesian closed stable categories ⋮ On the ubiquity of certain total type structures ⋮ Type inference with simple subtypes ⋮ Universal Constructions for (Co)Relations: categories, monoidal categories, and props ⋮ On the computational content of the Lawson topology ⋮ A type-theoretic semantics of arrays ⋮ Domains via graphs ⋮ Intersection types for \(\lambda\)-trees ⋮ On the construction of stable models of untyped \(\lambda\)-calculus ⋮ Lazy Lambda calculus: Theories, models and local structure characterization ⋮ On paradoxes in normal form ⋮ Unnamed Item ⋮ Set relations and set systems induced by some families of integral domains ⋮ Actors without Directors: A Kahnian View of Heterogeneous Systems ⋮ Unnamed Item ⋮ Three counterexamples concerning ω-chain completeness and fixed point properties ⋮ Can LCF be topped! Flat lattice models of typed \(\lambda{}\)-calculus ⋮ On Scott's thesis for domains of information and well-quasi-orderings ⋮ From parametric polymorphism to models of polymorphic FPC ⋮ Algebraic specification of data types: A synthetic approach ⋮ A unifying theorem for algebraic semantics and dynamic logics ⋮ From term models to domains ⋮ Continuously generated fixed points ⋮ Retracts of numerations ⋮ Equational logic of circular data type specification ⋮ Building continuous webbed models for system F ⋮ Dynamic game semantics ⋮ Characterizations of semantic domains for randomized algorithms ⋮ Meeting of the Association for Symbolic Logic ⋮ In Scott-Strachey style denotational semantics, parallelism implies nondeterminism ⋮ Unique, guarded fixed points in an additive setting ⋮ The completeness theorem for typing lambda-terms ⋮ From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models ⋮ On the algebraic models of lambda calculus ⋮ Locally cartesian closed exact completions ⋮ The sequentially realizable functionals ⋮ Intersection and singleton type assignment characterizing finite Böhm-trees ⋮ An abstract approach to stratification in linear logic ⋮ Computability and realizability for interactive computations ⋮ StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities ⋮ Almost Every Domain is Universal ⋮ Meeting of the Association for Symbolic Logic Florence, Italy 1982 ⋮ Definition of the semantics of programming language constructs in terms of ?-calculus. I ⋮ Resource traces: A domain for processes sharing exclusive resources. ⋮ A coinductive completeness proof for the equivalence of recursive types

This page was built for publication: Data Types as Lattices