1 citations · 1 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024
How to avoid the commuting conversions of IPC
José Espírito Santo, Gilda Ferreira
Since the observation in 2006 that it is possible to embed IPC into the atomic polymorphic lambda-calculus (a predicative fragment of system F with universal instantiations restric…
cs.LO2022★ 1 cited
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
José Espírito Santo, Delia Kesner, Loïc Peyrot
We introduce a call-by-name lambda-calculus with generalized applications which is equipped with distant reduction. This allows to unblock -redexes without resorting to th…