by Di Liberti, Ivan
Published in Mathematical logic quarterly (01.02.2024)

by Di Liberti, Ivan
Published in Applied categorical structures (01.06.2022)

by Di Liberti, Ivan, Ramos González, Julia
Published in Applied categorical structures (01.12.2020)

by Di Liberti, Ivan, Loregian, Fosco
Published in Journal of homotopy and related structures (01.09.2018)

by Di Liberti, Ivan
Published in arXiv.org (09.12.2021)

by Di Liberti, Ivan
Published in arXiv.org (29.05.2021)

by Di Liberti, Ivan
Published in Journal of pure and applied algebra (01.03.2022)

by Di Liberti, Ivan
Published in arXiv.org (21.02.2020)

by Di Liberti, Ivan
Published in Journal of pure and applied algebra (01.10.2020)

by Di Liberti, Ivan, Loregian, Fosco
Published in Journal of pure and applied algebra (01.01.2023)

by Ivan Di Liberti, Julia Ramos González
Published in arXiv.org (02.05.2022)

by Di Liberti, Ivan
Published in arXiv.org (11.09.2017)

by Ivan Di Liberti, Loregian, Fosco, Nester, Chad, Sobociński, Paweł
Published in arXiv.org (12.11.2020)

by Arkor, Nathanael, Di Liberti, Ivan, Loregian, Fosco
Published in Theory and applications of categories (01.01.2024)

by Loregian, Fosco, Ivan Di Liberti
Published in arXiv.org (26.01.2018)

by Ivan Di Liberti, Julia Ramos González
Published in arXiv.org (03.07.2019)

by Di Liberti, Ivan, Ramos González, Julia
Published in Journal of algebra (15.08.2022)

by Di Liberti, Ivan, Loregian, Fosco, Nester, Chad, Sobociński, Paweł
Published in Proceedings of ACM on programming languages (01.01.2021)

by Di Liberti, Ivan
Year of Publication 06.11.2022

by Di Liberti, Ivan, Rogers, Morgan
Year of Publication 22.03.2024