×
Author ID: sleep.m-ronan Recent zbMATH articles by "Sleep, M. Ronan"
Published as: Sleep, M. R.; Sleep, M. Ronan

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 136 times in 119 Documents Cited by Year
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
43
1997
Term graph rewriting. Theory and practice. Zbl 0818.68099
37
1993
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
32
1989
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
12
1987
Transfinite reductions in orthogonal term rewriting systems (extended abstract). Zbl 1502.68151
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
8
1991
Variable abstraction in O(n log n) space. Zbl 0622.03011
Kennaway, J. R.; Sleep, M. R.
4
1987
Infinitary lambda calculus. Zbl 0903.68105
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
43
1997
Term graph rewriting. Theory and practice. Zbl 0818.68099
37
1993
Transfinite reductions in orthogonal term rewriting systems (extended abstract). Zbl 1502.68151
Kennaway, J. R.; Klop, J. W.; Sleep, M. R.; de Vries, F. J.
8
1991
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
32
1989
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
12
1987
Variable abstraction in O(n log n) space. Zbl 0622.03011
Kennaway, J. R.; Sleep, M. R.
4
1987
all top 5

Cited by 142 Authors

11 Klop, Jan Willem
6 Gadducci, Fabio
5 Ariola, Zena M.
5 Banach, Richard
5 Corradini, Andrea
5 de Vries, Fer-Jan J.
5 Montanari, Ugo G.
4 Dezani-Ciancaglini, Mariangiola
4 Endrullis, Jörg
4 Fernández, Maribel
4 Hendriks, Dimitri
4 Ketema, Jeroen
4 Severi, Paula Gabriela
3 Baldan, Paolo
3 Bruni, Roberto
3 Dershowitz, Nachum
3 Lambers, Leen
3 Mazza, Damiano
3 Orejas, Fernando
3 Plump, Detlef
3 van Bakel, Steffen
2 Antoy, Sergio
2 Bertolissi, Clara
2 Blom, Stefan
2 Echahed, Rachid
2 Grabmayer, Clemens
2 Hankin, Chris L.
2 Jouannaud, Jean-Pierre
2 Kahl, Wolfram
2 Kamareddine, Fairouz D.
2 Kennaway, Richard
2 Ker, Andrew D.
2 Kirchner, Hélène
2 König, Barbara
2 Lucas, Salvador
2 Nederpelt, Rob
2 Nickau, Hanno
2 Ong, C.-H. Luke
2 Pinaud, Bruno
2 Polonsky, Andrew
2 Roşu, Grigore
2 Salibra, Antonino
2 Simonsen, Jakob Grue
2 Vallet, Jason
1 Akama, Yohji
1 Arvind
1 Bahr, Patrick
1 Bakhshi, Rena
1 Barbanera, Franco
1 Barendregt, Hendrik Pieter
1 Barozzini, David
1 Berarducci, Alessandro
1 Bethke, Inge
1 Bloem, Roderick
1 Bolton, David
1 Bonchi, Filippo
1 Boy de la Tour, Thierry
1 Bunder, Martin W.
1 Burn, Geoffrey L.
1 Cerda, Rémy
1 Chatain, Thomas
1 Cheney, James
1 Cirstea, Horatiu
1 Clemente, Lorenzo
1 Coccia, Matteo
1 Colcombet, Thomas
1 Czajka, Łukasz
1 Danvy, Olivier
1 de Vrijer, Roel
1 Diller, Antoni
1 Duval, Dominique
1 Echenim, Mnacho
1 Ehrig, Hartmut
1 Ellison, Chucky
1 Engelfriet, Joost
1 García-Pérez, Álvaro
1 Giovannetti, Elio
1 Glauert, John
1 Goldblatt, Robert Ian
1 Grall, Hervé
1 Haar, Stefan
1 Habel, Annegret
1 Hage, Jurriaan
1 Hainry, Emmanuel
1 He, Xiao-Xun
1 Holdermans, Stefan
1 Horstmeyer, Thomas
1 Inverardi, Paola
1 Isihara, Ariya
1 Joachimski, Felix
1 Jost, Andy
1 Kamperman, J. F. Th.
1 Kaplan, Stéphane
1 Kelly, Paul H. J.
1 Kennaway, J. R.
1 Khasidashvili, Zurab O.
1 Kirchner, Claude
1 Kurihara, Masahito
1 Leroy, Xavier
1 Lisper, Björn
...and 42 more Authors

Citations by Year