Sebastián Urciuoli

According to our database¹, Sebastián Urciuoli authored at least 3 papers between 2020 and 2025.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2025

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions.

[BibT_eX]

[DOI]

CoRR, October, 2025

2022

A Formal Proof of the Strong Normalization Theorem for System T in Agda.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, 2022

2020

Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020