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

Lambda Calculus:Alpha conversion - Beta reductionEta conversion

Other: Recursion - Combinatory logic - Chaitin's construction