Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wi - Functors - Document - PDFSEARCH.IO

First Page	Meta Content
	Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wi Add to Reading List Document Date: 2009-02-12 12:08:31 Open Document File Size: 360,46 KB Share Result on Facebook

Quantitative Domains, Groupoids and Linear Logic Paul Taylor 1989 Abstract We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors wiAdd to Reading List