Superdevelopments for Weak Reduction


We study superdevelopments in the weak lambda calculus of Çaǧman and Hindley, a confluent variant of the standard weak lambda calculus in which reduction below lambdas is forbidden. In contrast to developments, a superdevelopment from a term M allows not only residuals of redexes in M to be reduced but also some newly created ones. In the lambda calculus… (More)
DOI: 10.4204/EPTCS.15.2


  • Presentations referencing similar topics