Conceptio › Archive › Arxiv Oai Expanded
Arxiv Oai Expandedmetadata only

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Nunes, Fernando Lucatelli et al.
Arxiv Oai Expanded · Other
Open Source ↗Direct PDF ↓
category theory, logic in computer science, programming languages, logic, 18a35, 18c15, 18d15, 18n10, 18a40
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 650549
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.