Author:
Coppo Mario,Hirschkoff Daniel
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. R. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575–631, 1993.
2. Z. M. Ariola and J. W. Klop. Equational term graphrewrit ing. Technical report, University of Oregon, 1995.
3. H. Abelson and G. J. Susman. Structure and Interpretation of Computer Programs. MIT Press, 1985.
4. C. Böhm and A. Berarducci. Automatic Synthesis of Typed λ-programs on Term Algebras. Theoretical Computer Science, 39:135–154, 1985.
5. H. P. Barendregt, M. Coppo, and M. Dezani-Ciancaglini. A filter lambda model and the completeness of type assignment. Journal of Symbolic Logic, 48:931–940, 1983.