Set theoretic programming

From Wikipedia, the free encyclopedia

Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is SETL.