Author:
Jiang Ying,Zhang Guo-Qiang
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lecture Notes in Computer Science;R.-M. Amadio,1991
2. Cambridge Tracts in Theeoretical Computer Science;R.-M. Amadio,1998
3. Berry, G.: Modèles complètement adéquats et stables des lambda-calculs typés. Thèse de Doctorat d’Etat, Université Paris VII (1979)
4. Lecture Notes in Computer Science;T. Coquand,1987
5. Davey, B.-A., Priestley, H.-A.: Introduction to Lattices and Order. Cambridge University Press, Cambridge (2002)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Weakly distributive domains (II);Frontiers of Computer Science in China;2007-10