most citedIsomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+

3 citations · 3 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2015★ 3 cited

Isomorphisms considered as equalities: Projecting functions and enhancing partial application through and implementation of lambda+

Alejandro Díaz-Caro, Pablo E. Martínez López

We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rew…