106
click to vote
ENTCS
2007
15 years 3 months ago
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 ...