André Videla

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 4

Top Topics

Container Terminal

Social Intelligence

Top Venues

Publications

André Videla
Container Morphisms for Composable Interactive Systems. CoRR (2024)
André Videla, Matteo Capucci
Lenses for Composable Servers. CoRR (2022)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla
idris-ct: A Library to do Category Theory in Idris. ACT (2019)
Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla
Computational Petri Nets: Adjunctions Considered Harmful. CoRR (2019)