Some reasons for generalising domain theory
From MaRDI portal
Publication:3559971
DOI10.1017/S0960129509990375zbMATH Open1197.06004MaRDI QIDQ3559971FDOQ3559971
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?)
- Linear logic
- An algebraic approach to stable domains
- A universal property of the convolution monoidal structure
- Algebras and combinators
- From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- A Powerdomain Construction
- Profunctors, open maps and bisimulation
- A filter lambda model and the completeness of type assignment
- Realizability. An introduction to its categorical side
- Title not available (Why is that?)
- On the ubiquity of certain total type structures
- Monads on symmetric monoidal closed categories
- Strong functors and monoidal monads
- Coherence for compact closed categories
- Une théorie combinatoire des séries formelles
- Category Theory
- Two applications of analytic functors
- Closed categories generated by commutative monads
- Bilinearity and Cartesian Closed Monads.
- Finite products are biproducts in a compact closed category
- Glueing and orthogonality for models of linear logic
- Pseudo-commutative monads and pseudo-closed 2-categories
- General synthetic domain theory – a logical approach
- The cartesian closed bicategory of generalised species of structures
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- Domain theoretic models of polymorphism
- Automata in general algebras
- Proof theory in the abstract
- The Dedekind reals in abstract Stone duality
Cited In (18)
- Towards a homotopy domain theory
- Nominal Domain Theory for Concurrency
- 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
- Title not available (Why is that?)
- COMPUTABILITY IN PARTIAL COMBINATORY ALGEBRAS
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Distributive laws for relative monads
- Elements of a theory of algebraic theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- On operads, bimodules and analytic functors
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
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)
