Follow
Daniele Palombi
Daniele Palombi
R&D, 20squares
Verified email at 20squares.xyz - Homepage
Title
Cited by
Cited by
Year
Classifying topoi in synthetic guarded domain theory
D Palombi, J Sterling
Proceedings 38th Conference on Mathematical Foundations of Programming …, 2022
52022
A Categorical Semantics for Hierarchical Petri Nets
F Genovese, J Herold, F Loregian, D Palombi
Proceedings GCM 2021, 51-68, 2021
52021
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
32021
Escrows are optics
F Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2105.10028, 2021
32021
A Categorical Semantics for Bounded Petri Nets
FR Genovese, F Loregian, D Palombi
arXiv preprint arXiv:2101.09100, 2021
22021
The system can't perform the operation now. Try again later.
Articles 1–6