Superdevelopments for Weak Reduction

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…