Daniele Palombi | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jonathan Sterling
23 publications
Fabrizio Genovese
11 publications
Fosco Loregian
3 publications

research

∙ 10/10/2022

Classifying topoi in synthetic guarded domain theory

Several different topoi have played an important role in the development...

0 Daniele Palombi, et al. ∙

research

∙ 01/22/2021

A Categorical Semantics for Bounded Petri Nets

We provide a categorical semantics for bounded Petri nets, both in the c...

0 Fabrizio Genovese, et al. ∙