Zermelo-Fraenkel(ID:7867/)

Type theory much used in programming language theory, underpins most of type inference

Unified by Thoralf Skolem in 1922, based on earlier work by Adolf Fraenkel in the same year, which was based on the axiom system put forth by Ernst Zermelo in 1908 (Zermelo set theory).
Related languages
Zermelo-Fraenkel => L-hat   Based on
Zermelo-Fraenkel => New Foundations   Incorporated features

Resources