Myhill's Constructive Set Theory

Please expand.

References

• CST was introduced in the 1975 paper

• There is a draft textbook on constructive set theory.