Erik Post

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Discrete Dynamical Systems

Top Venues

Publications

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)