Some reasons for generalising domain theory
From MaRDI portal
Publication:3559971
DOI10.1017/S0960129509990375zbMATH Open1197.06004MaRDI QIDQ3559971FDOQ3559971
Authors: Martin Hyland 
Publication date: 17 May 2010
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Recommendations
Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Preorders, orders, domains and lattices (viewed as categories) (18B35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Powerdomain Construction
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- A filter lambda model and the completeness of type assignment
- A universal property of the convolution monoidal structure
- Algebras and combinators
- An algebraic approach to stable domains
- Automata in general algebras
- Bilinearity and Cartesian Closed Monads.
- Category Theory
- Closed categories generated by commutative monads
- Coherence for compact closed categories
- Domain theoretic models of polymorphism
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Finite products are biproducts in a compact closed category
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- General synthetic domain theory – a logical approach
- Glueing and orthogonality for models of linear logic
- Linear logic
- Monads on symmetric monoidal closed categories
- On the ubiquity of certain total type structures
- Profunctors, open maps and bisimulation
- Proof theory in the abstract
- Pseudo-commutative monads and pseudo-closed 2-categories
- Realizability. An introduction to its categorical side
- Strong functors and monoidal monads
- The Dedekind reals in abstract Stone duality
- The cartesian closed bicategory of generalised species of structures
- Two applications of analytic functors
- Une théorie combinatoire des séries formelles
Cited In (20)
- Towards a homotopy domain theory
- Nominal Domain Theory for Concurrency
- On operads, bimodules and analytic functors
- Distributed Strategies Made Easy
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- Strategies as concurrent processes
- Domain theory for concurrency
- A theory of sequentiality
- Categories of embeddings
- Deterministic concurrent strategies
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Title not available (Why is that?)
- Distributive laws for relative monads
- Elements of a theory of algebraic theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relational graph models at work
- A convenient category of domains
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Computability in partial combinatory algebras
This page was built for publication: Some reasons for generalising domain theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3559971)
