Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations''
subsystems of NF with predicativity restrictions on set comprehension
scientific article; zbMATH DE number 165827