Category Theory for Programming
From MaRDI portal
Publication:6409611
arXiv2209.01259MaRDI QIDQ6409611
Benedikt Ahrens, Kobe Wullaert
Publication date: 2 September 2022
This page was built for publication: Category Theory for Programming
