Person:6153326

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A categorical semantics for hierarchical Petri nets	2024-12-06	Paper
Fibrational Linguistics (FibLang): Language Acquisition Electronic Proceedings in Theoretical Computer Science	2024-03-05	Paper
A categorical semantics for bounded Petri nets (available as arXiv preprint)	2024-02-13	Paper
A categorical semantics for bounded Petri nets	2024-02-13	Paper
Obstructions to Compositionality	2023-07-26	Paper
Fibrational linguistics: First concepts	2022-01-04	Paper
Yoneda Hacking: The Algebra of Attacker Actions	2021-02-26	Paper
A Categorical Semantics for Hierarchical Petri Nets	2021-01-29	Paper
Categories of Nets	2021-01-11	Paper
idris-ct: A Library to do Category Theory in Idris (available as arXiv preprint)	2019-11-25	Paper
The Essence of Petri Net Gluings	2019-09-08	Paper
Mapping finite state machines to zk-SNARKS Using Category Theory	2019-09-06	Paper
The Mathematical Specification of the Statebox Language	2019-06-18	Paper
Computational Petri Nets: Adjunctions Considered Harmful	2019-04-29	Paper
The Way of the Infinitesimal	2017-07-03	Paper
Escrows are optics (available as arXiv preprint)	N/A	Paper

Research outcomes over time

This page was built for person: