Daniele Palombi

According to our database, Daniele Palombi authored at least 3 papers between 2021 and 2022.

Collaborative distances:

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

2022

Classifying topoi in synthetic guarded domain theory.

Daniele Palombi, Jonathan Sterling

Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, 2022

2021

A Categorical Semantics for Bounded Petri Nets.

Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Nets with Mana: A Framework for Chemical Reaction Modelling.

Fabrizio Romano Genovese, Fosco Loregiàn, Daniele Palombi

Proceedings of the Graph Transformation - 14th International Conference, 2021