Equational term graph rewriting (1996)

Cached

Download Links

by Zena M. Ariola , Jan Willem Klop
Venue:FUNDAMENTA INFORMATICAE
Citations:71 - 8 self

Documents Related by Co-Citation

105 M.: Term graph rewriting – H Barendregt, M van Eekelen, J Glauert, J Kennaway, M Plasmeijer, Sleep
130 Eekelen. Functional Programming and Parallel Graph Rewriting – R Plasmeijer, M van - 1993
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
52 de Vries. Transfinite reductions in orthogonal term rewriting – R Kennaway, J Klop, R Sleep, F-J - 1995
111 Semantics and Pragmatics of the Lambda Calculus – C Wadsworth - 1971
567 Term Rewriting Systems – J. W. Klop - 1992
45 Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi – Masahito Hasegawa - 1997
21 De Vries. On the adequacy of graph rewriting for simulating term rewriting – J R Kennaway, J K Klop, M R Sleep, F J - 1994
22 Properties of a First-order Functional Language with Sharing – Zena M. Ariola, Arvind, Zena M. Ariola - 1994
20 (Cyclic) Term Graph Rewriting is adequate for Rational Parallel Term Rewriting – Andrea Corradini , Frank Drewes - 1997
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
166 Functorial Semantics of Algebraic Theories – F W Lawvere - 1963
930 Categories for the Working Mathematician – S Mac Lane - 1971
119 An algorithm for optimal lambda calculus reduction – John Lamping - 1990
25 Optimal interpreters for lambda-calculus based functional programming languages – V K Kathail - 1990
8 Relating Graph and Term Rewriting via Böhm Models – Zena M. Ariola - 1993
106 Réductions Correctes et Optimales dans le Lambda Calcul, Thèse de Doctorat d’Etat – J-J Lévy - 1978
19 On “on graph rewritings – R Kennaway - 1987