论文信息 - An extension of the basic functionality theory for the λ-calculus - 字舞流文

An extension of the basic functionality theory for the λ-calculus

Mariangiola Dezani-Ciancaglini | Mario Coppo | M. Dezani-Ciancaglini | M. Coppo

[1] Mariangiola Dezani-Ciancaglini,et al. Functional Characters of Solvable Terms , 1981, Math. Log. Q..

[2] Mariangiola Dezani-Ciancaglini,et al. A new type assignment for λ-terms , 1978, Arch. Math. Log..

[3] Jonathan P. Seldin,et al. A sequent calculus for type assignment , 1977, Journal of Symbolic Logic.

[4] Christopher P. Wadsworth,et al. The Relation Between Computational and Denotational Properties for Scott's Dinfty-Models of the Lambda-Calculus , 1976, SIAM J. Comput..

[5] Dana S. Scott,et al. Data Types as Lattices , 1976, SIAM J. Comput..

[6] H. Barendregt. A characterization of terms of the λI-calculus having a normal form , 1973, Journal of Symbolic Logic.

[7] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .

[8] A. Church. The calculi of lambda-conversion , 1941 .

[9] Alonzo Church,et al. A formulation of the simple theory of types , 1940, Journal of Symbolic Logic.