Login / Signup
André Videla
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 3
Top Topics
General Theory
Discrete Dynamical Systems
Ims Ld
Petri Net
Top Venues
CoRR
ACT
</>
Publications
</>
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)