Systems of combinatory logic related to Quine's ‘New Foundations’

Boffa, 1977, The consistency problem for NF, J. Symbolic Logic, 42, 215, 10.2307/2272122 Boffa, 1984, The point on Quine's NF, Teoria, 4, 3 Boffa, 1988, ZFJ and the consistency problem for NF, The Kurt Gödel Gesellschaft Year Book, 102 M. Crabbé, On NFU, Preprint. Curry, 1958, Vol. I Girard, 1989 Henson, 1978, Type-raising operations on cardinal and ordinal numbers in Quine's ldquoNew Foundations rdquo, J. Symbolic Logic, 38, 59, 10.2307/2271726 Henson, 1973, Permutation methods applied to Quine's ldquoNew Foundationsrdquo, J. Symbolic Logic, 38, 69, 10.2307/2271727 Holmes, 1990, Systems of Combinatory Logic related to Quine's ldquoNew Foundationsrdquo M.R. Holmes, Systems of combinatory logic related to Quine's “New Foundations” applied to program semantics, Preprint. Jensen, 1969, On the consistency of a slight (?) modification of Quine's ldquoNew Foundationsrdquo, Synthése, 19, 250 Rosser, 1978, Logic for Mathematicians Scott, 1962, Quine's individuals, 111 Specker, 1953, The axiom of choice in Quine's ldquoNew Foundations for Mathematical Logicrdquo, Proc. Nat. Acad. Sci. USA, 39, 972, 10.1073/pnas.39.9.972 Specker, 1962, 116 Quine, 1937, New Foundations for Mathematical Logic, Amer. Math. Monthly, 44, 70, 10.2307/2300564 Quine, 1945, On ordered pairs, J. Symbolic Logic, 10, 95, 10.2307/2267028 Quine, 1951