Login / Signup
Sebastián Urciuoli
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 2
Top Topics
Knowledge Representation And Reasoning
Lambda Calculus
Database Technology
Database Query Languages
Top Venues
LSFA
CoRR
</>
Publications
</>
Sebastián Urciuoli
A Formal Proof of the Strong Normalization Theorem for System T in Agda.
CoRR
(2023)
Sebastián Urciuoli
,
Álvaro Tasistro
,
Nora Szasz
Strong Normalization for the Simply-Typed Lambda Calculus in Constructive Type Theory Using Agda.
LSFA
(2020)