Recommendations
Cites work
- A filter lambda model and the completeness of type assignment
- A Powerdomain Construction
- A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
- 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
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- 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 cartesian closed bicategory of generalised species of structures
- The Dedekind reals in abstract Stone duality
- Two applications of analytic functors
- Une théorie combinatoire des séries formelles
Cited in
(23)- Categories of embeddings
- Historical introduction to ``Concrete domains by G. Kahn and G. D. Plotkin
- Domain theory for concurrency
- Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
- A theory of sequentiality
- Deterministic concurrent strategies
- Elements of a theory of algebraic theories
- Towards a homotopy domain theory
- Strategies as concurrent processes
- A convenient category of domains
- Nominal Domain Theory for Concurrency
- scientific article; zbMATH DE number 1189290 (Why is no real title available?)
- scientific article; zbMATH DE number 1337728 (Why is no real title available?)
- Relational graph models at work
- Computability in partial combinatory algebras
- Quantitative foundations for resource theories
- Distributed Strategies Made Easy
- On operads, bimodules and analytic functors
- Distributive laws for relative monads
- Monoidal Kleisli bicategories and the arithmetic product of coloured symmetric sequences
- Free commutative monoids in homotopy type theory
- Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads
- An axiomatics and a combinatorial model of creation/annihilation operators
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)
