Author:
Barthe Gilles,Grégoire Benjamin,Riba Colin
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Abel, A.: Type-Base Termination. A Polymorphic Lambda-Calculus with Sized Higher-Order Types. PhD thesis, LMU University, Munich (2006)
2. Barthe, G., Frade, M.J., Giménez, E., Pinto, L., Uustalu, T.: Type-Based Termination of Recursive Definitions. Mathematical Structures in Computer Science 14(1), 97–141 (2004)
3. Lecture Notes in Computer Science;G. Barthe,2005
4. Lecture Notes in Artificial Intelligence;F. Blanqui,2006
5. Chin, W.-N., Khoo, S.-C.: Calculating Sized Types. Higher-Order and Symbolic Computation 14(2–3), 261–300 (2001)
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献