Author:
Alessi Fabio,Barbanera Franco
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. H.Barendregt. Lambda Calculus: its Sintax and Semantics. North Holland 1984.
2. H. Barendregt, M. Coppo, M. Dezani. A Filter Lambda Model and the Completeness of Type Assignment. Journal of Simbolic Logic, 48, 931–940, 1983.
3. M. Coppo, M. Dezani. An extension of basic functionality theory for lambda-calculus. Notre Dame Journel of formal Logic, 21, 685–693. 1980.
4. M.Coppo,M.Dezani,F.Honsell,G.Longo. Extended type structures and filter lambda models. Proceedings of Logic Colloquium '82 (eds. G.Lolli, G.Longo, A.Marcja), 241–262. North-Holland. 1984.
5. H.B. Curry, R.Feys. Combinatory Logic. Vol.I. North Holland. 1958.
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献