Conceptio › Archive › Zenodo (CERN)
Zenodo (CERN)open access

Substructural Routes to Variable Inclusion (This is the Way)

Borzi, Agustina et al.
Zenodo (CERN) · Papers · License: Open Access
Open Source ↗
Containment logic, Weak Kleene algebra, Content inclusion, Substructural logic
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 212718
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.