HAL (France)open access
Higher-categorical models of linear logic
Polynomial functors, Logic, Logique, Foncteurs polynomiaux, 0, Higher categories, Catégories supérieures, 1
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Record · ID 294649
Retrieved via
Conceptio — every document is proof-bundled with source, license, and retrieval metadata.