79 citations
- 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
54 papers
A Machine-checked Proof of Consistency for Impredicative Pure Type Systems
Sebastián Urciuoli
In this paper we continue assessing the feasibility of the approach to the mechanization of type theory by using classical syntax and Stoughton's multiple substitutions and report…
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…
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.…
A simultaneous Abels-Margulis-Soifer lemma
Fanny Kassel, Rafael Potrie
The Abels-Margulis-Soifer lemma states that if a semigroup acts strongly irreducibly by linear transformations on a finite-dimensional real vector space, then any element of $Γ…
Quantum codes do not fix isotropic errors
Jesús García López de Lacalle, Luis Miguel Pozo Coronado, André L. Fonseca de Oliveira
In this work we prove that quantum error correcting codes do not fix isotropic errors, even assuming that their correction circuits do not introduce new errors. We say that a quant…
Extending predictive process monitoring for collaborative processes
Daniel Calegari, Andrea Delgado
Process mining on business process execution data has focused primarily on orchestration-type processes performed in a single organization (intra-organizational). Collaborative (in…