Sciweavers

56 search results - page 12 / 12
» Completeness of Query Operations on Resource Spaces
Sort
View
CTCS
1989
Springer
14 years 2 months ago
Quantitative Domains, Groupoids and Linear Logic
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...
Paul Taylor 0002