Author:
Bertot Yves,Komendantskaya Ekaterina
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Abel, A.: Type-Based Termination. A Polymorphic Lambda-Calculus with Sized Higher-Order Types. PhD thesis, Fakultät für Mathematik, Informatik und Statistik der Ludwig-Maximilians-Universität München (2006)
2. Lecture Notes in Computer Science;G. Barthe,2002
3. Barthe, G., Frade, M.J., Giménez, E., Pinto, L., Uustalu, T.: Type-based termination of recursive definitions. Mathematical Structures in Computer Science 14, 97–141 (2004)
4. Lecture Notes in Computer Science;Y. Bertot,2005
5. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development, Coq’Art: the Calculus of Constructions. Springer, Heidelberg (2004)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献