lambda-calculus public under formal-system 10, model-of-computation 6 List Picture As a command Nothing is filed under lambda-calculus.