Jelle Herold

According to our database, Jelle Herold authored at least 5 papers between 2018 and 2021.

Collaborative distances:

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

2021

A Categorical Semantics for Hierarchical Petri Nets.

Fabrizio Genovese, Jelle Herold

Proceedings of the Proceedings Twelfth International Workshop on Graph Computational Models, 2021

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

The Mathematical Specification of the Statebox Language.

Fabrizio Genovese, Jelle Herold

CoRR, 2019

Computational Petri Nets: Adjunctions Considered Harmful.

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

CoRR, 2019

2018

Executions in (Semi-)Integer Petri Nets are Compact Closed Categories.

Fabrizio Genovese, Jelle Herold

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018