Lambda Calculus kHV its Hovels
暂无分享，去创建一个
[1] Mariangiola Dezani-Ciancaglini,et al. A filter lambda model and the completeness of type assignment , 1983, Journal of Symbolic Logic.
[2] Richard Statman,et al. Completeness, invariance and λ-definability , 1982, Journal of Symbolic Logic.
[3] E. Engeler. Algebras and combinators , 1981 .
[4] G. Jacopini. Principio di estensionalità nel calcolo dei combinatori , 1974 .
[5] Albert R. Meyer,et al. What is a Model of the Lambda Calculus? , 1982, Inf. Control..
[6] G. Longo,et al. Lambda-Calculus Models and Extensionality , 1980, Math. Log. Q..