Author:
Bruce Kim B.,Meyer Albert R.
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Barendregt, H.P. (1977). "The Type free lambda calculus," Handbook of Mathematical Logic, J. Barwise, ed., North Holland, New York, 1091–1132.
2. Barendregt, H., Coppo, M., and Dezani-Ciancaglini, M. (1982). "A filter lambda model and the completeness of type assignment," preprint.
3. Berry, G. (1980). "On the definition of lambda-calculus models," INRIA Rapports de Recherche, No. 46, 12 pp.
4. Bruce, K., and G. Longo. (1984). "An elementary approach to the solution of recursive domain equations," preprint.
5. Donahue, James (1979). "On the semantics of "data type," SIAM J. Computing 8, 546–560.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献