Conceptio › Archive › Arxiv All
Arxiv Allmetadata only

Free Doubly-Infinitary Distributive Categories are Cartesian Closed

Nunes, Fernando Lucatelli et al. · 2024
Arxiv All · Other · 2024
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 652002
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.