| Categories for types RL Crole Cambridge University Press, 1993 | 410 | 1993 |
| New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic RL Crole, AM Pitts Information and computation 98 (2), 171-210, 1992 | 82 | 1992 |
| Combining higher order abstract syntax with tactical theorem proving and (co) induction SJ Ambler, RL Crole, A Momigliano Theorem Proving in Higher Order Logics: 15th International Conference …, 2002 | 63 | 2002 |
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures R Backhouse, R Crole, J Gibbons Springer, 2003 | 55 | 2003 |
| A definitional approach to primitivexs recursion over higher order abstract syntax SJ Ambler, RL Crole, A Momigliano Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about …, 2003 | 34 | 2003 |
| New foundations for fixpoint computations RL Crole, AM Pitts [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990 | 31 | 1990 |
| A social sensing model for event detection and user influence discovering in social media data streams LL Shi, L Liu, Y Wu, L Jiang, J Panneerselvam, R Crole IEEE Transactions on Computational Social Systems 7 (1), 141-150, 2019 | 28 | 2019 |
| Programming metalogics with a fixpoint type RL Crole University of Cambridge, 1991 | 22 | 1991 |
| A sound metalogical semantics for input/output effects RL Crole, AD Gordon International Workshop on Computer Science Logic, 339-353, 1994 | 21 | 1994 |
| A Hybrid encoding of Howe's method for establishing congruence of bisimilarity A Momigliano, SJ Ambler, RL Crole Electronic Notes in Theoretical Computer Science 70 (2), 60-75, 2002 | 20 | 2002 |
| A comparison of formalizations of the meta-theory of a language with variable bindings in Isabelle A Momigliano, SJ Ambler, RL Crole 14th International Conference on Theorem Proving in Higher Order Logics …, 2001 | 17 | 2001 |
| Mechanized operational semantics via (co) induction SJ Ambler, RL Crole International Conference on Theorem Proving in Higher Order Logics, 221-238, 1999 | 16 | 1999 |
| Completeness of bisimilarity for contextual equivalence in linear theories RL Crole Logic Journal of the IGPL 9 (1), 27-51, 2001 | 12 | 2001 |
| Relating operational and denotational semantics for input/output effects RL Crole, AD Gordon Mathematical Structures in Computer Science 9 (2), 125-158, 1999 | 12 | 1999 |
| On multi-language abstraction: Towards a static analysis of multi-language programs S Buro, R Crole, I Mastroeni Formal Methods in System Design, 1-35, 2023 | 10 | 2023 |
| Nominal lambda calculus: An internal language for FM-cartesian closed categories RL Crole, F Nebel Electronic Notes in Theoretical Computer Science 298, 93-117, 2013 | 10 | 2013 |
| Alpha equivalence equalities RL Crole Theoretical Computer Science 433, 1-19, 2012 | 10 | 2012 |
| Chapter 4. Basic Category Theory for Models of Syntax RL Crole Generic Programming: Advanced Lectures, 133-177, 2003 | 10 | 2003 |
| Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop RC Backhouse, RL Crole, J Gibbons Oxford, UK, April, 2000 | 10 | 2000 |
| Lectures on [Co] induction and [Co] algebras RL Crole Technical Report 1998/12, Department of Mathematics and Computer Science …, 1998 | 9 | 1998 |
