- Fields of mathematics
- >
- Mathematical logic
- >
- Set theory
- >
- Set theoretic programming languages

- Philosophy of mathematics
- >
- Mathematical logic
- >
- Set theory
- >
- Set theoretic programming languages

ProSet

ProSet is a set theoretic programming language that is being developed at the University of Essen as a successor to SETL. It is a very-high level language that supports prototyping. ProSet provides th

Set theoretic programming

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

SETL

SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed by (Jack) Jacob T. Schwartz at the New York University (NYU) Courant

© 2023 Useful Links.