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.

[DOI]

Proceedings of the Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, October, 2025

2022

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

[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.

[DOI]

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