Add to ORKGWe give a short description of our implementation in Coq supporting the construction of category-theoretic solutions to recursive ultra-metric space equations for domain theory. This is one step in our efforts to provide a category-theoretical foundation for program semantics and program logics.status: publishe
Abstract. This paper provides a general account of the notion of recursive program schemes, studying...
The category of 1-bounded compact ultrametric spaces and non-distance increasing functions (KUM&apos...
An introduction to the category-theoretic solution of recursive domain equations by R.Bos and C.Heme...
AbstractIt is well known that one can use an adaptation of the inverse-limit construction to solve r...
A new method for solving domain equations in categories of metric spaces is studied. The categories ...
A new method for solving domain equations in categories of metric spaces is studied. The categories ...
AbstractA new method for solving domain equations in categories of metric spaces is studied. The cat...
This paper provides a general account of the notion of recursive program schemes, studying both unin...
The solution of a recursive domain equation, of the form D ~= F(D) may be viewed as the finding of a...
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric sp...
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric sp...
Recursive specifications of domains plays a crucial role in denotational semantics as developed by S...
AbstractGeneralized ultrametric spaces are a common generalization of preorders and ordinary ultrame...
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ canbe perceived as a catego...
AbstractDomains and metric spaces are two central tools for the study of denotational semantics in c...
Abstract. This paper provides a general account of the notion of recursive program schemes, studying...
The category of 1-bounded compact ultrametric spaces and non-distance increasing functions (KUM&apos...
An introduction to the category-theoretic solution of recursive domain equations by R.Bos and C.Heme...
AbstractIt is well known that one can use an adaptation of the inverse-limit construction to solve r...
A new method for solving domain equations in categories of metric spaces is studied. The categories ...
A new method for solving domain equations in categories of metric spaces is studied. The categories ...
AbstractA new method for solving domain equations in categories of metric spaces is studied. The cat...
This paper provides a general account of the notion of recursive program schemes, studying both unin...
The solution of a recursive domain equation, of the form D ~= F(D) may be viewed as the finding of a...
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric sp...
Generalized ultrametric spaces are a common generalization of preorders and ordinary ultra-metric sp...
Recursive specifications of domains plays a crucial role in denotational semantics as developed by S...
AbstractGeneralized ultrametric spaces are a common generalization of preorders and ordinary ultrame...
For a commutative quantale $\mathcal{V}$, the category $\mathcal{V}-cat$ canbe perceived as a catego...
AbstractDomains and metric spaces are two central tools for the study of denotational semantics in c...
Abstract. This paper provides a general account of the notion of recursive program schemes, studying...
The category of 1-bounded compact ultrametric spaces and non-distance increasing functions (KUM&apos...
An introduction to the category-theoretic solution of recursive domain equations by R.Bos and C.Heme...