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.