The Bicategory-Theoretic Solution of Recursive Domain Equations
Gian Luca Cattani, Marcelo Fiore · Electronic Notes in Theoretical Computer Science · 2007
We generalise the traditional approach of Smyth and Plotkin to the solution of recursive domain equations from order-enriched structures to bicategorical ones and thereby develop a bicategorical theory for recursively defined domains in accordance with Axiomatic Domain Theory.