Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference37 articles.
1. Lect. Notes Comput. Sci.;E. Astesiano,1989
2. Barendregt, H., Coppo, M., Dezani-Ciancaglini, M. [83]: A filter lambda model and the completeness of type assignment. J. Symb. Logic48, (4) 931?940 (1983)
3. Breazu-Tannen, V. [88]: Combing algebra and higher-order types. In: Proc. LICS, Edinburgh (1988)
4. Breazu-Tannen, V., Meyer, A. [87]: Computable values can be classical. In: Proc. 14th Symposium on Pricinple of Programming Languages pp. 238?245 (1987)
5. Broy, M. [86]: Partial interpretations of higher-order algebraic types. Lecture Notes of the Int. Summer School on Logic of Programming and Calculi of Discrete Design, Marktoberdorf, 1986
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献