The bicategory-theoretic solution of recursive domain equations
From MaRDI portal
Publication:2864151
Recommendations
Cites work
- scientific article; zbMATH DE number 431762 (Why is no real title available?)
- scientific article; zbMATH DE number 2134022 (Why is no real title available?)
- scientific article; zbMATH DE number 3856436 (Why is no real title available?)
- scientific article; zbMATH DE number 3933292 (Why is no real title available?)
- scientific article; zbMATH DE number 3653565 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 626734 (Why is no real title available?)
- scientific article; zbMATH DE number 1086660 (Why is no real title available?)
- scientific article; zbMATH DE number 1392305 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A categorical generalization of Scott domains
- A fixpoint theorem for complete categories
- Algebraic specification of data types: A synthetic approach
- Axiomatic Domain Theory in Categories of Partial Maps
- Categorical domain theory: Scott topology, powercategories, coherent categories
- Cauchy characterization of enriched categories
- Fixed-point constructions in order-enriched categories
- Introduction to bicategories
- On categories generalizing universal domains
- The Category-Theoretic Solution of Recursive Domain Equations
- Topical categories of domains
- Two-dimensional monad theory
Cited in
(4)
This page was built for publication: The bicategory-theoretic solution of recursive domain equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864151)