PROGRAMMING WITH PROOFS - A 2ND ORDER TYPE THEORY

[1] BARENDREGT HP, 1981, STUDIES LOGIC

[2] Constable Robert L., 1986, IMPLEMENTING MATH NU

[3] Coquand T., 1985, THESIS U PARIS 7, VVII

[4] COQUAND T, LNCS, V203

[5] COUSINEAU G, 1985, LNCS, V201

[6] CURRY HB, 1980, ESSAYS COMBINATORY L, P479

[7] DEBRUIJN NG, 1980, ESSAYS COMBINATORY L, P579

[8] Girard J.-Y., 1972, THESIS U PARIS 7

[9] GIRARD JY, 1970, 2ND P SCAND LOG S, P63

[10] GIRARD JY, 1987, SYSTEM F VARIABLE TY

[1] BARENDREGT HP, 1981, STUDIES LOGIC

[2] Constable Robert L., 1986, IMPLEMENTING MATH NU

[3] Coquand T., 1985, THESIS U PARIS 7, VVII

[4] COQUAND T, LNCS, V203

[5] COUSINEAU G, 1985, LNCS, V201

[6] CURRY HB, 1980, ESSAYS COMBINATORY L, P479

[7] DEBRUIJN NG, 1980, ESSAYS COMBINATORY L, P579

[8] Girard J.-Y., 1972, THESIS U PARIS 7

[9] GIRARD JY, 1970, 2ND P SCAND LOG S, P63

[10] GIRARD JY, 1987, SYSTEM F VARIABLE TY