Lambda calculus
Corrective lenses
Combinatory logic
Logic in computer science
Bidirectional transformation
Progressive lens
Mathematics