Publisher
Springer International Publishing
Reference23 articles.
1. Abadi, M., Cardelli, L.: A Theory of Primitive Objects - Second-Order Systems. In: European Symposium on Programming (ESOP), pp. 1–25 (1994)
2. Abel, A., Pientka, B.: Wellfounded recursion with copatterns: a unified approach to termination and productivity. In: Morrisett, G., Uustalu, T. (eds.) International Conference on Functional Programming (ICFP), pp. 185–196 (2013)
3. Lecture Notes in Computer Science;K.Y. Ahn,2013
4. Barendregt, H.: Lambda calculi with types, handbook of logic in computer science. In: Background: Computational Structures, vol. 2 (1993)
5. Barras, B.: Sets in coq, coq in sets. Journal of Formalized Reasoning 3(1) (2010)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献