Combinatory Reduction Systems: introduction and survey (1993)

Cached

Download Links

by Jan Willem Klop , Vincent van Oostrom , Femke van Raamsdonk
Venue:THEORETICAL COMPUTER SCIENCE
Citations:88 - 9 self

Documents Related by Co-Citation

245 Combinatory Reduction System – J W Klop - 1980
51 Polymorphic rewriting conserves algebraic strong normalization – V Breazu-Tannen, J Gallier - 1991
288 A logic programming language with lambda-abstraction, function variables, and simple unification – Dale Miller - 1990
391 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
568 Term Rewriting Systems – J. W. Klop - 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
520 Lambda Calculi with Types – Henk Barendregt, S. Abramsky, D. M. Gabbay, T. S. E. Maibaum, H. P. Barendregt - 1992
73 Confluence for Abstract and Higher-Order Rewriting – V van Oostrom - 1994