2019
idris-ct: A Library to do Category Theory in Idris.
Proceedings of the Proceedings Applied Category Theory 2019, 2019

Computational Petri Nets: Adjunctions Considered Harmful.
CoRR, 2019