Type-based termination of recursive definitions
Mathematical Structures in Computer Science
Some Remarks on Type Systems for Course-of-value Recursion
Electronic Notes in Theoretical Computer Science (ENTCS)
Parigot's second order λµ-calculus and inductive types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Least and Greatest Fixed Points in Linear Logic
ACM Transactions on Computational Logic (TOCL)
Combining Deduction Modulo and Logics of Fixed-Point Definitions
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.01 |