General:Mathematics - Category theoryResearch - Curry/Howard/Lambek
Lambda Calculus:Alpha conversion - Beta reductionEta conversion
Other: Recursion - Combinatory logic - Chaitin's construction