论文信息 - Une extension de la theorie des types en λ-calcul - 字舞流文

Une extension de la theorie des types en λ-calcul

[1] Mariangiola Dezani-Ciancaglini,et al. Lambda-terms as total or partial functions on normal forms , 1975, Lambda-Calculus and Computer Science Theory.

[2] Louis Nolin,et al. Les modèles informatiques des lambda-calculus , 1975, Lambda-Calculus and Computer Science Theory.

[3] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.

[4] H. Barendregt. Some extensional term models for combinatory logics and lambda - calculi , 1971 .

[5] James H. Morris,et al. Lambda-calculus models of programming languages. , 1969 .

[6] Luis E. Sanchis,et al. Types in combinatory logic , 1964, Notre Dame J. Formal Log..