79 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Universidad de la República de UruguayUY24 papers
- Universidad Politécnica de MadridES6 papers
- Johns Hopkins UniversityUS2 papers
- Universidad de MontevideoUY2 papers
- Universidade de São PauloBR2 papers
- Universidad Nacional de CórdobaAR2 papers
- Airbus (Germany)DE1 paper
- Association Clinique et Thérapeutique Infantile du Val de MarneFR1 paper
- California Institute of TechnologyUS1 paper
- Carnegie Mellon UniversityUS1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
- Consejo de Formación en EducaciónUY1 paper
Showing 2023 · cs.LOShow all
2 papers · 2 filters
cs.LO2023★ 1 cited
A Formal Proof of the Strong Normalization Theorem for System T in Agda
Sebastián Urciuoli
We present a framework for the formal meta-theory of lambda calculi in first-order syntax, with two sorts of names, one to represent both free and bound variables, and the other fo…
cs.LO2023★ 1 cited
Nominal Sets in Agda -- A Fresh and Immature Mechanization
Miguel Pagano, José E. Solsona
In this paper we present our current development on a new formalization of nominal sets in Agda. Our first motivation in having another formalization was to understand better nomin…