×
2019
idris-ct: A Library to do Category Theory in Idris.
[DOI]
Fabrizio Genovese
,
Alex Gryzlov
,
Jelle Herold
,
Andre Knispel
,
Marco Perone
,
Erik Post
,
André Videla
Proceedings of the Proceedings Applied Category Theory 2019, 2019
Computational Petri Nets: Adjunctions Considered Harmful.
[DOI]
Fabrizio Genovese
,
Alex Gryzlov
,
Jelle Herold
,
Marco Perone
,
Erik Post
,
André Videla
CoRR, 2019