Ivan Di Liberti

Orcid: 0000-0003-1787-4858

Affiliations:

Stockholm University, Sweden
Masaryk University, Czech Republic (former)

According to our database¹, Ivan Di Liberti authored at least 6 papers between 2019 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2024

Formal model theory and higher topology.

[BibT_eX]

[DOI]

Ivan Di Liberti

Math. Log. Q., February, 2024

2022

General Facts on the Scott Adjunction.

[BibT_eX]

[DOI]

Ivan Di Liberti

Appl. Categorical Struct., 2022

2021

Functorial semantics for partial theories.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2021

Context, Judgement, Deduction.

[BibT_eX]

[DOI]

Greta Coraglia

Ivan Di Liberti

CoRR, 2021

2020

Gabriel-Ulmer Duality for Topoi and its Relation with Site Presentations.

[BibT_eX]

[DOI]

Ivan Di Liberti

Julia Ramos González

Appl. Categorical Struct., 2020

2019

Weak saturation and Weak Amalgamation Property.

[BibT_eX]

[DOI]

Ivan Di Liberti

J. Symb. Log., 2019

Ivan Di Liberti

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...