Author:
Coppo M.,Dezani M.,Longo G.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. H. Barendregt, The λ-calculus: its syntax and semantics. North-Holland, 1981.
2. M. Coppo, M. Dezani, F. Honsell, G. Longo, ”Extended Type Structure and Filter lambda models” Logic Colloquium '82 (Lolli, Longo, Marcja eds.) North-Holland, 1983.
3. Yu.L. Ershov, ”Model C of partial continuous functionals” in Logic Colloquium '76 (Gandy, Hyland eds) Nort-Holland, 1977.
4. P. Giannini, G. Longo, ”Effectively given domains and λ-calcul semantics” Revised version, ISI-Nota Scientifica (1982).
5. D. Lehmann, M. Smyth, ‘Algebraic Specification of Data Types: A synthetic Approach’ Mathematical System Theory, 14 (1981), 97–139.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献