Seguir
André Videla
André Videla
University of strathclyde
Dirección de correo verificada de strath.ac.uk
Título
Citado por
Citado por
Año
Computational petri nets: Adjunctions considered harmful
F Genovese, A Gryzlov, J Herold, M Perone, E Post, A Videla
arXiv preprint arXiv:1904.12974, 2019
92019
Lenses for composable servers
A Videla, M Capucci
arXiv preprint arXiv:2203.15633, 2022
62022
idris-ct: A Library to do Category Theory in Idris
F Genovese, A Gryzlov, J Herold, A Knispel, M Perone, E Post, A Videla
arXiv preprint arXiv:1912.06191, 2019
62019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–3