2 citations · 6 across the 13 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…