Some reasons for generalising domain theory
type: Item
instance of: scholarly article
title: Some reasons for generalising domain theory
zbMATH Open document ID: 1197.06004
DOI: 10.1017/S0960129509990375
author: Martin Hyland
published in: Mathematical Structures in Computer Science
publication date: 2010-05-17T00:00:00Z
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18B35
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 5708997
zbMATH Keywords: Cartesian-closed categories of domains
zbMATH Keywords: categorical generalization of domains
MaRDI profile type: MaRDI publication profile
cites work: Une théorie combinatoire des séries formelles
cites work: A universal property of the convolution monoidal structure
cites work: The Dedekind reals in abstract Stone duality
cites work: Glueing and orthogonality for models of linear logic
cites work: Pseudo-commutative monads and pseudo-closed 2-categories
cites work: Q3141916
cites work: A filter lambda model and the completeness of type assignment
cites work: Category Theory
cites work: Proof theory in the abstract
cites work: Realizability. An introduction to its categorical side
cites work: A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
cites work: Finite products are biproducts in a compact closed category
cites work: Two applications of analytic functors
cites work: An algebraic approach to stable domains
cites work: Linear logic
cites work: General synthetic domain theory – a logical approach
cites work: The cartesian closed bicategory of generalised species of structures
cites work: A Powerdomain Construction
cites work: Algebras and combinators
cites work: Q5639839
cites work: Automata in general algebras
cites work: On the ubiquity of certain total type structures
cites work: Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
cites work: Q3727946
cites work: Domain theoretic models of polymorphism
cites work: Strong functors and monoidal monads
cites work: Bilinearity and Cartesian Closed Monads.
cites work: Profunctors, open maps and bisimulation
cites work: Closed categories generated by commutative monads
cites work: Monads on symmetric monoidal closed categories
cites work: From computation to foundations via functions and application: The \(\lambda\)-calculus and its webbed models
cites work: Coherence for compact closed categories
description: scientific article