Ivan Di Liberti

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 7

Top Topics

Operational Semantics

Top Venues

Appl. Categorical Struct.

Proc. ACM Program. Lang.

Publications

Ivan Di Liberti
Formal model theory and higher topology. Math. Log. Q. 70 (1) (2024)
Ivan Di Liberti
General Facts on the Scott Adjunction. Appl. Categorical Struct. 30 (3) (2022)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial semantics for partial theories. Proc. ACM Program. Lang. 5 (POPL) (2021)
Greta Coraglia, Ivan Di Liberti
Context, Judgement, Deduction. CoRR (2021)
Ivan Di Liberti, Fosco Loregiàn, Chad Nester, Pawel Sobocinski
Functorial Semantics for Partial Theories. CoRR (2020)
Ivan Di Liberti, Julia Ramos González
Gabriel-Ulmer Duality for Topoi and its Relation with Site Presentations. Appl. Categorical Struct. 28 (6) (2020)
Ivan Di Liberti
Weak saturation and Weak Amalgamation Property. J. Symb. Log. 84 (3) (2019)