Ivan Di Liberti

According to our database¹, Ivan Di Liberti authored at least 3 papers between 2019 and 2021.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Other

2021

Functorial semantics for partial theories.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

2020

Gabriel-Ulmer Duality for Topoi and its Relation with Site Presentations.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2020

2019

Weak saturation and Weak Amalgamation Property.

[BibT_eX]

[DOI]

J. Symb. Log., 2019