Sebastián Urciuoli
According to our database1,
Sebastián Urciuoli
authored at least 2 papers
between 2020 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
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.
Proceedings of the 15th International Workshop on Logical and Semantic Frameworks with Applications, 2020