General:Mathematics - Category theoryResearch - Curry/Howard/Lambek

Lambda calculus:Alpha conversion - Beta reductionEta conversion - Lambda abstraction

Other: Recursion - Combinatory logicChaitin's construction - Turing machine