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)

Lenses for Composable Servers. - André Videla; Matteo Capucci (CoRR, 2022)

Container Morphisms for Composable Interactive Systems. - André Videla (CoRR, 2024)