Sebastián Urciuoli

According to our database, Sebastián Urciuoli authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

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

Sebastián Urciuoli

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.

Sebastián Urciuoli, Álvaro Tasistro, Nora Szasz

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