A practical type theory for symmetric monoidal categories

From MaRDI portal
Publication:5006460

zbMath1474.18031arXiv1911.00818MaRDI QIDQ5006460

Michael Shulman

Publication date: 16 August 2021

Full work available at URL: https://arxiv.org/abs/1911.00818




Related Items (2)


Uses Software



Cites Work




This page was built for publication: A practical type theory for symmetric monoidal categories