Church typed-lambda calculus Incorporated some features of

Olivetti's non-procedural language

ABL 1 Evolution of
1
ADSL 1 Renaming
1