Classifying topoi in synthetic guarded domain theory D Palombi, J Sterling Proceedings 38th Conference on Mathematical Foundations of Programming …, 2022 | 5 | 2022 |
A Categorical Semantics for Hierarchical Petri Nets F Genovese, J Herold, F Loregian, D Palombi Proceedings GCM 2021, 51-68, 2021 | 5 | 2021 |
The Essence of Petri Net Gluings FR Genovese, F Loregian, D Palombi | 3* | 2023 |
Nets with Mana: A Framework for Chemical Reaction Modelling F Genovese, F Loregian, D Palombi International Conference on Graph Transformation, 185-202, 2021 | 3 | 2021 |
Escrows are optics F Genovese, F Loregian, D Palombi arXiv preprint arXiv:2105.10028, 2021 | 3 | 2021 |
A Categorical Semantics for Bounded Petri Nets FR Genovese, F Loregian, D Palombi arXiv preprint arXiv:2101.09100, 2021 | 2 | 2021 |