Church typed-lambda calculus
Incorporated some features of
The Mathematical Vernacular (7827)