2 citations · 2 across the 4 of their papers we have counts for
1 paper · 2 filters
Agustín Séttimo, Cristian Sottile, Cecilia Manzino
System I is a recently introduced simply-typed lambda calculus with pairs where isomorphic types are considered equal. In this work we propose a variant of System I with the type T…