Jump to content

Set theoretic programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Kingturtle (talk | contribs) at 14:46, 1 December 2008 (Reverted edits by 68.219.106.89 (talk) to last version by Oleg Alexandrov). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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