General:Mathematics - Category theoryResearch - Curry/Howard/Lambek
Lambda calculus:Alpha conversion - Beta reductionEta conversion - Lambda abstraction
Other: Recursion - Combinatory logicChaitin's construction - Turing machine