Lambda calculus with namefree formulas involving symbols that represent reference transforming mappings.(English)Zbl 0393.03009

MSC:

 03B40 Combinatory logic and lambda calculus

Lambda Calculus