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 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
Dependently Sorted Nominal Signatures
Maribel Fernández, Miguel Pagano, Nora Szasz +1
We investigate an extension of nominal many-sorted signatures in which abstraction has a form of instantiation, called generalised concretion, as elimination operator (similarly to…
cs.LO2025★ 1 cited
On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
Sebastián Urciuoli
We develop formal theories of conversion for Church-style lambda-terms with Pi-types in first-order syntax using one-sorted variables names and Stoughton's multiple substitutions.…