Author:
Blanqui Frédéric,Jouannaud Jean-Pierre,Okada Mitsuhiro
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. F. Barbanera, M. Fernández, and H. Geuvers. Modularity of strong normalization in the algebraic-λ-cube. Journal of Functional Programming, 7(6), 1997.
2. H. Barendregt. Introduction to generalized type systems. Journal of Functional Programming, 1992.
3. F. Blanqui, J.-P. Jouannaud, and M. Okada. Inductive Data Type Systems, 1998.
4. V. Breazu-Tannen. Combining algebra and higher-order types. In Third IEEE Annual Symposium on Logic in Computer Science, pages 82–90. 1988.
5. V. Breazu-Tannen and J. Gallier. Polymorphic rewriting conserves algebraic strong normalization. Theoretical Computer Science, 83 (1):3–28, June 1991.
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献