Accessibility and presentability in 2-categoriesDi Liberti, Ivan; Loregian, FoscoJournal of pure and applied algebra2023 / art. 107155, 25 p https://doi.org/10.1016/j.jpaa.2022.107155 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Adjoint functor theorems for lax-idempotent pseudomonadsArkor, Nathanael; Di Liberti, Ivan; Loregian, FoscoTheory and Applications of Categories2024 / p. 667-685 http://www.tac.mta.ca/tac/volumes/41/20/41-20.pdf Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

Functorial semantics for partial theoriesDi Liberti, Ivan; Loregian, Fosco; Nester, Chad Mitchell; Sobocinski, Pawel MariaProceedings of the ACM on Programming Languages2021 / art. 57, 28 p. : ill https://doi.org/10.1145/3434338 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS