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

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