STRATIFICATION AND CUT-ELIMINATION

[1] RETRACTED: A NORMALIZATION THEOREM FOR SET-THEORY (Retracted article. See vol. 76, pg. 1096, 2011) [J]. JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (03) : 673 - 695

[2] Bourbaki N., 1958, ELEMENTS MATH

[3] TYPICAL AMBIGUITY AND THE AXIOM OF CHOICE [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1074 - 1078

[4] CRABBE M, 1978, FUND MATH, V101, P11

[5] CURRY HB, 1968, COMBINATORY LOGIC

[6] DEBRUIJN NG, 1972, INDAGATIONES MATH, V34, P391

[7] Girard Jean-Yves, 1972, THESIS U PARIS 7 PAR

[8] HALLNAS L, 1983, THESIS U STOCKHOLM S

[9] Howard W.A., 1980, HB CURRY ESSAYS COMB, P479

[10] Jensen R., 1968, SYNTHESE, V19, P250

[1] RETRACTED: A NORMALIZATION THEOREM FOR SET-THEORY (Retracted article. See vol. 76, pg. 1096, 2011) [J]. JOURNAL OF SYMBOLIC LOGIC, 1988, 53 (03) : 673 - 695

[2] Bourbaki N., 1958, ELEMENTS MATH

[3] TYPICAL AMBIGUITY AND THE AXIOM OF CHOICE [J]. JOURNAL OF SYMBOLIC LOGIC, 1984, 49 (04) : 1074 - 1078

[4] CRABBE M, 1978, FUND MATH, V101, P11

[5] CURRY HB, 1968, COMBINATORY LOGIC

[6] DEBRUIJN NG, 1972, INDAGATIONES MATH, V34, P391

[7] Girard Jean-Yves, 1972, THESIS U PARIS 7 PAR

[8] HALLNAS L, 1983, THESIS U STOCKHOLM S

[9] Howard W.A., 1980, HB CURRY ESSAYS COMB, P479

[10] Jensen R., 1968, SYNTHESE, V19, P250