Author:
DOUGHERTY DAN,LESCANNE PIERRE
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Characterizing of Strong Normalization forΛμ-Calculus;Journal of Physics: Conference Series;2019-04
2. Characterizing Strongly Normalizing λGtz-terms via Non-Idempotent Intersection Types;Proceedings of the 3rd International Conference on Computer Science and Application Engineering - CSAE 2019;2019
3. Non-idempotent intersection types and strong normalisation;Logical Methods in Computer Science;2013-10-10
4. Resource operators for λ-calculus;Information and Computation;2007-04
5. Intersection types for explicit substitutions;Information and Computation;2004-02