نظام رياضي شكلي لدراسة الدوال، وهو الأساس النظري للبرمجة الوظيفية.
كل البرمجة الحديثة تعود جذورها لهذا النظام.