Computational Petri Nets: Adjunctions Considered Harmful. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Marco Perone; Erik Post; André Videla (CoRR, 2019)

idris-ct: A Library to do Category Theory in Idris. - Fabrizio Genovese; Alex Gryzlov; Jelle Herold; Andre Knispel; Marco Perone; Erik Post; André Videla (ACT, 2019)