A formal system in mathematical logic and computer science for expressing computation based on function abstraction and application.
Generality: 500
