Follow
Roy Crole
Roy Crole
Associate Professor, University of Leicester
Verified email at le.ac.uk - Homepage
Title
Cited by
Cited by
Year
Categories for types
RL Crole
Cambridge University Press, 1993
3921993
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
RL Crole, AM Pitts
Information and computation 98 (2), 171-210, 1992
751992
Combining higher order abstract syntax with tactical theorem proving and (co) induction
SJ Ambler, RL Crole, A Momigliano
International Conference on Theorem Proving in Higher Order Logics, 13-30, 2002
622002
New foundations for fixpoint computations
RL Crole, AM Pitts
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science …, 1990
321990
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
292003
Programming metalogics with a fixpoint type
RL Crole
University of Cambridge, 1991
231991
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
212019
A sound metalogical semantics for input/output effects
RL Crole, AD Gordon
International Workshop on Computer Science Logic, 339-353, 1994
211994
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
202002
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
192003
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
172001
Mechanized operational semantics via (co) induction
SJ Ambler, RL Crole
International Conference on Theorem Proving in Higher Order Logics, 221-238, 1999
161999
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
112013
Alpha equivalence equalities
RL Crole
Theoretical Computer Science 433, 1-19, 2012
112012
Completeness of bisimilarity for contextual equivalence in linear theories
RL Crole
Logic Journal of the IGPL 9 (1), 27-51, 2001
112001
Relating operational and denotational semantics for input/output effects
RL Crole, AD Gordon
Mathematical Structures in Computer Science 9 (2), 125-158, 1999
111999
Basic category theory for models of syntax
RL Crole
Generic Programming, 133-177, 2003
102003
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
102000
Factoring an adequacy proof (preliminary report)
RL Crole, AD Gordon
Functional Programming, Glasgow 1993, 9-25, 1994
91994
The representational adequacy of Hybrid
RL Crole
Mathematical Structures in Computer Science 21 (3), 585-646, 2011
82011
The system can't perform the operation now. Try again later.
Articles 1–20