Quantitative domains, groupoids and linear logic

DOI10.1007/BFb0018351zbMath1493.18015MaRDI QIDQ5096259

No author found.

Publication date: 16 August 2022

Published in: Category Theory and Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40) Categorical aspects of linear logic (18M45)

Related Items (5)

An algebraic approach to stable domains ⋮ Quantitative domains and infinitary algebras ⋮ The logic of structures ⋮ Analytic functors between presheaf categories over groupoids ⋮ Two applications of analytic functors

Cites Work

• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• The linear abstract machine
• Atomic toposes
• Some spectra relative to functors
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Quantitative domains, groupoids and linear logic