Z zero indexed, 87 zero-place functions, 35 α α conversion, 157 , 158 , 159 , 160 β β-redex, 160 β reduction, 157 , 158 , 159 , 160 δ δ rules, 348 η η conversion, 157 , 159 , 169
