Author:
Lengrand Stéphane,Lescanne Pierre,Dougherty Dan,Dezani-Ciancaglini Mariangiola,van Bakel Steffen
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference40 articles.
1. Explicit substitutions;Abadi;Journal of Functional Programming,1991
2. Domains and Lambda-Calculi;Amadio,1998
3. Complete restrictions of the intersection type discipline;van Bakel;Theoretical Computer Science,1991
4. Intersection type assignment systems;van Bakel;Theoretical Computer Science,1995
5. Characterizing strong normalization for explicit substitutions;van Bakel,2002
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Multi types and reasonable space;Proceedings of the ACM on Programming Languages;2022-08-29
2. Characterizing of Strong Normalization forΛμ-Calculus;Journal of Physics: Conference Series;2019-04
3. 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
4. Nominal essential intersection types;Theoretical Computer Science;2018-08
5. A resource aware semantics for a focused intuitionistic calculus;Mathematical Structures in Computer Science;2017-05-22