recursive domain equations

6

ENTCS
2007

108views more ENTCS 2007»

The Bicategory-Theoretic Solution of Recursive Domain Equations

13 years 4 months ago

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 ...

Gian Luca Cattani, Marcelo P. Fiore

claim paper

Read More »

14

click to vote

ENTCS
2006

153views more ENTCS 2006»

Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus

13 years 4 months ago

Download www.itu.dk

We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic / linear type theory with fixed points, and show,...

Lars Birkedal, Rasmus Ejlers Møgelberg, Ras...

claim paper

Read More »

14

click to vote

DAGSTUHL
2006

151views Software Engineering» more DAGSTUHL 2006»

A convenient category of domains

13 years 5 months ago

Download homepages.inf.ed.ac.uk

We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...

Ingo Battenfeld, Matthias Schröder, Alex Simp...

claim paper

Read More »

13

click to vote

TPHOL
2009
IEEE

235views Automated Reasoning» more TPHOL 2009»

Some Domain Theory and Denotational Semantics in Coq

13 years 11 months ago

Download research.microsoft.com

Abstract. We present a Coq formalization of constructive ω-cpos (extending earlier work by Paulin-Mohring) up to and including the inverselimit construction of solutions to mixed-...

Nick Benton, Andrew Kennedy, Carsten Varming

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers