共 50 条
- [2] Strong normalization of a symmetric lambda calculus for second-order classical logic [J]. Archive for Mathematical Logic, 2002, 41 : 91 - 99
- [5] ON THE DEFINITION OF LAMBDA-CALCULUS MODELS [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1981, 107 : 218 - 230
- [6] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (04): : 289 - 310
- [7] Second-Order Equational Logic (Extended Abstract) [J]. COMPUTER SCIENCE LOGIC, 2010, 6247 : 320 - +
- [8] LAMBDA-CALCULUS MODELS AND EXTENSIONALITY [J]. JOURNAL OF SYMBOLIC LOGIC, 1980, 45 (02) : 392 - 392
- [10] NUMERATION MODELS OF LAMBDA-CALCULUS [J]. ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1985, 31 (03): : 209 - 220