¶
Myhill's Constructive Set Theory
Please expand.
¶
References
CST was introduced in the 1975 paper
Stanford Encyclopedia of Philosophy
Myhill, J., 1975, “Constructive set theory”, Journal of Symbolic Logic, 40: 347–382.
¶
There is a [draft textbook] on constructive set theory.