Author:
Sørensen M.H.,Urzyczyn P.
Reference515 articles.
1. Explicit substitutions;Abadi;Journal of Functional Programming,1991
2. A predicative strong normalisation proof for a λ-calculus with interleaving inductive types;Abel,2000
3. Computational interpretations of linear logic;Abramsky;Theoretical Computer Science,1993
4. Games and full completeness for multiplicative linear logic;Abramsky;Journal of Symbolic Logic,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献