Ivan Di Liberti | DeepAI

DeepAI

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

Featured Co-authors

Pawel Sobocinski
17 publications
Chad Nester
7 publications
Fosco Loregian
3 publications
Greta Coraglia
1 publication

research

∙ 11/17/2021

Context, Judgement, Deduction

We introduce judgemental theories and their calculi as a general framewo...

0 Greta Coraglia, 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. ∙