12 citations · 33 across the 10 of their papers we have counts for
1 paper · 1 filter
Alejandro Díaz-Caro, Gilles Dowek
We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Suc…