Author:
Abel Andreas,Matthes Ralph
Publisher
Springer Berlin Heidelberg
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. System F i;Lecture Notes in Computer Science;2013
2. Polarised subtyping for sized types;Mathematical Structures in Computer Science;2008-10
3. Strong Normalization and Equi-(Co)Inductive Types;Lecture Notes in Computer Science;2007
4. Polarized Subtyping for Sized Types;Computer Science – Theory and Applications;2006
5. Semi-continuous Sized Types and Termination;Computer Science Logic;2006