Fosco Loregian | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Pawel Sobocinski
17 publications
Mario Román
14 publications
Fabrizio Genovese
11 publications
Chad Nester
7 publications
Jeremy Gibbons
3 publications
Ivan Di Liberti
2 publications
Daniele Palombi
2 publications
Bartosz Milewski
1 publication
Emily Pillmore
1 publication
Bryce Clarke
1 publication
Derek Elkins
1 publication

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. ∙

research

∙ 11/12/2020

Functorial Semantics for Partial Theories

We provide a Lawvere-style definition for partial theories, extending th...

0 Ivan Di Liberti, et al. ∙

research

∙ 01/21/2020

Profunctor optics, a categorical update

Profunctor optics are bidirectional data accessors that capture data tra...

0 Bryce Clarke, et al. ∙

Success!

An error occurred