This category lists those programming languages that adhere to the set theoretic programming paradigm.