Folgen
Daniele Palombi
Daniele Palombi
R&D, 20squares
Bestätigte E-Mail-Adresse bei 20squares.xyz - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–6