5 citations · 12 across the 9 of their papers we have counts for
1 paper · 1 filter
Eduardo Bonelli, Pablo Barenbaum
We study superdevelopments in the weak lambda calculus of Cagman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden…