Author:
Dougherty Dan,Ghilezan Silvia,Lescanne Pierre
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Characterization of strong normalizability for a sequent lambda calculus with co-control;Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming;2017-10-09
2. A Translation of Intersection and Union Types for the λμ-Calculus;Programming Languages and Systems;2014
3. Structure of proofs and the complexity of cut elimination;Theoretical Computer Science;2006-03
4. Intersection and Union Types for X;Electronic Notes in Theoretical Computer Science;2005-07
5. Intersection and Union Types in the λ¯μμ˜-calculus;Electronic Notes in Theoretical Computer Science;2005-07