26 citations · 185 across the 21 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
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…
cs.LO2015
Proof Normalisation in a Logic Identifying Isomorphic Propositions
Alejandro Díaz-Caro, Gilles Dowek
We define a fragment of propositional logic where isomorphic propositions, such as and , or and $(A\Rightarrow B)\land(A\Rightarrow C…