Set theoretic programming
programming paradigm
برمجة نظرية المجموعات
集论编程