2 papers
cs.LO2021
Polymorphic System I
Cristian F. Sottile, Alejandro Díaz-Caro, Pablo E. Martínez López
System I is a simply-typed lambda calculus with pairs, extended with an equational theory obtained from considering the type isomorphisms as equalities. In this work we propose an…
cs.LO2019
Runtime Analysis of Quantum Programs: A Formal Approach
Federico Olmedo, Alejandro Díaz-Caro
In this abstract we study the resource consumption of quantum programs. Specifically, we focus on the expected runtime of programs and, inspired by recent methods for probabilistic…