Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

ENTCS
2007

favoriteEmaildiscussreport

108views more ENTCS 2007»

The Bicategory-Theoretic Solution of Recursive Domain Equations

13 years 4 months ago

The Bicategory-Theoretic Solution of Recursive Domain Equations

Download www.cl.cam.ac.uk

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 deﬁned domains in accordance with Axiomatic Domain Theory.

Gian Luca Cattani, Marcelo P. Fiore

Real-time Traffic

Axiomatic Domain Theory | ENTCS 2007 | Recursive Domain Equations | Traditional Approach |

claim paper

Related Content

» Some Domain Theory and Denotational Semantics in Coq

» A convenient category of domains

» Computational Adequacy for Recursive Types in Models of Intuitionistic Set Theory

» Parametric Domaintheoretic Models of Polymorphic Intuitionistic Linear Lambda Calculus

» Strictness Properties of Lazy Algebraic Datatypes

» Perturbation Methods in Stability and Norm Analysis of Spatially Periodic Systems

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2007
Where	ENTCS
Authors	Gian Luca Cattani, Marcelo P. Fiore

Comments (0)