LISP

Alonzo Church의 Lambda calculus에 기반한 프로그래밍 언어.