Erik Post

According to our database, Erik Post authored at least 2 papers in 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

idris-ct: A Library to do Category Theory in Idris.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Andre Knispel, Marco Perone, Erik Post, André Videla

Proceedings of the Proceedings Applied Category Theory 2019, 2019

Computational Petri Nets: Adjunctions Considered Harmful.

Fabrizio Genovese, Alex Gryzlov, Jelle Herold, Marco Perone, Erik Post, André Videla

CoRR, 2019