Volgen
André Videla
André Videla
University of strathclyde
Geverifieerd e-mailadres voor strath.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3