The Bicategory-Theoretic Solution of Recursive Domain Equations

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.

• Type: Journal
• Year: 2007
• Where: ENTCS
• Authors: Gian Luca Cattani, Marcelo P. Fiore
• Keywords: Axiomatic Domain Theory, ENTCS 2007, Recursive Domain Equations, Traditional Approach