Accessibility and presentability in 2-categories
Di Liberti, Ivan
;
Loregian, Fosco
Journal of pure and applied algebra
2023
/
art. 107155, 25 p
https://doi.org/10.1016/j.jpaa.2022.107155
Functorial semantics for partial theories
Di Liberti, Ivan
;
Loregian, Fosco
;
Nester, Chad Mitchell
;
Sobocinski, Pawel Maria
Proceedings of the ACM on Programming Languages
2021
/
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