Author:
Cardone Felice,Hindley J. Roger
Reference592 articles.
1. Explicit substitutions;Abadi;Journal of Functional Programming,1991
2. Formal parametric polymorphism;Abadi;Theoretical Computer Science,1993
3. An abstraction algorithm for combinatory logic;Abdali;Journal of Symbolic Logic,1976
4. Games and full completeness for multiplicative linear logic;Abramsky;Journal of Symbolic Logic,1994
5. Domain theory;Abramsky,1994
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献