Rank 2 Intersection Type Assignment in Term Rewriting Systems (1996)

by Steffen van Bakel
Citations:22 - 14 self

Documents Related by Co-Citation

215 A filter lambda model and the completeness of type assignment – Henk Berendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini - 1983
61 Intersection Type Assignment Systems – Steffen Van Bakel - 1995
103 Complete restrictions of the intersection type discipline – Steffen Van Bakel - 1992
1121 The Lambda Calculus, its Syntax and Semantics – H P Barendregt - 1981
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
568 Term Rewriting Systems – J. W. Klop - 1992
35 Principal type schemes for the strict type assignment system – Steffen Van Bakel - 1993
944 A theory of type polymorphism in programming – Robin Milner - 1978
211 Intensional interpretations of functionals of finite type I – W W Tait - 1967