Skip to search formSkip to main contentSkip to account menu

Set theoretic programming

Known as: Set theoretic programming languages 
Set theoretic programming is a programming paradigm based on mathematical set theory. One example of a programming language based on this paradigm is… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
1976
Highly Cited
1976
We explore the notion of an induction variable in the context of a set-theoretic programming langugage. An appropriate definition… 
Review
1972
Review
1972
Forskningsieien 1B, Oslo 3, Norway, price, with-section in which the same topic is discussed i n in Europe, 40 Norwegian kroner…