A language of constructive mathematics involving systems of sets
recursion theory, constructive mathematics
scientific article; zbMATH DE number 3310074