Edit Profile (opens in new tab) Sleep, M. Ronan Co-Author Distance Author ID: sleep.m-ronan Published as: Sleep, M. R.; Sleep, M. Ronan Documents Indexed: 6 Publications since 1986 1 Contribution as Editor Co-Authors: 8 Co-Authors with 7 Joint Publications 104 Co-Co-Authors all top 5 Co-Authors 0 single-authored 5 Kennaway, J. R. 3 Klop, Jan Willem 2 Barendregt, Hendrik Pieter 2 de Vries, Fer-Jan J. 2 Plasmeijer, M. J. 2 van Eekelen, M. C. J. D. 1 Glauert, J. R. W. 1 Keller, Robert M. Serials 1 Information Processing Letters 1 Theoretical Computer Science 1 ACM Transactions on Programming Languages and Systems 1 Parallel Computing 1 Information and Computation Fields 7 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 General and overarching topics; collections (00-XX) Publications by Year all cited Publications top 5 cited Publications 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 cited Publications top 5 cited Publications 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 all top 5 Cited in 18 Serials 30 Theoretical Computer Science 12 Information and Computation 6 Logical Methods in Computer Science 5 Information Processing Letters 3 MSCS. Mathematical Structures in Computer Science 3 Journal of Functional Programming 2 The Journal of Symbolic Logic 2 Journal of Symbolic Computation 2 New Generation Computing 2 Higher-Order and Symbolic Computation 1 Acta Informatica 1 Journal of Computer and System Sciences 1 Annals of Pure and Applied Logic 1 Journal of Automated Reasoning 1 Applicable Algebra in Engineering, Communication and Computing 1 RAIRO. Theoretical Informatics and Applications 1 Fundamenta Informaticae 1 Journal of Logical and Algebraic Methods in Programming Cited in 5 Fields 106 Computer science (68-XX) 37 Mathematical logic and foundations (03-XX) 14 Category theory; homological algebra (18-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General algebraic systems (08-XX) Citations by Year