Church typed-lambda calculus Influence
N1 Evolution of

Language manipulation of files

ADSL 1 Renaming
1