2 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
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…