We stand with Ukraine  

Cristian Sottile

Orcid: 0000-0002-4704-9042

According to our database1, Cristian Sottile authored at least 5 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Strong normalization through idempotent intersection types: a new syntactical approach.
[BibTeX]
[DOI]
Pablo Barenbaum
,
Simona Ronchi Della Rocca
,
Cristian Sottile
CoRR, March, 2025

2023
Two Decreasing Measures for Simply Typed Lambda-Terms (Extended Version).
[BibTeX]
[DOI]
Pablo Barenbaum
,
Cristian Sottile
CoRR, 2023

Two Decreasing Measures for Simply Typed λ-Terms.
[BibTeX]
[DOI]
Pablo Barenbaum
,
Cristian Sottile
Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2020
Polymorphic System I.
[BibTeX]
[DOI]
Cristian F. Sottile
,
Alejandro Díaz-Caro
,
Pablo E. Martínez López
Proceedings of the IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, 2020

2019
An End-User Semantic Web Augmentation Tool.
[BibTeX]
[DOI]
Cristian Sottile
,
Sergio Firmenich
,
Diego Torres
Proceedings of the End-User Development - 7th International Symposium, 2019


  Loading...