Monoidal reverse differential categories
From MaRDI portal
Publication:5889303
DOI10.1017/S096012952200038XMaRDI QIDQ5889303
Jean-Simon Pacaud Lemay, Dorette Pronk, Jonathan Gallagher, Geoff Cruttwell
Publication date: 19 April 2023
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2203.12478
68-XX: Computer science
Uses Software