Eden, T. (2026). Coherence Debt in Categorical Proof Assistants. Zenodo.
Citazione stile Chigago Style (17a edizione)Eden, Trenton. Coherence Debt in Categorical Proof Assistants. Zenodo, 2026.
Citatione MLA (9a ed.)Eden, Trenton. Coherence Debt in Categorical Proof Assistants. Zenodo, 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.