Roy L. Crole

ORCID

Publication Activity (10 Years)

Years Active: 1990-2020
Publications (10 Years): 5

Top Venues

MFPS

ICTCS

LSFA

Math. Struct. Comput. Sci.

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Samuele Buro, Roy L. Crole, Isabella Mastroeni
On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs. SAS (2020)
Lei-Lei Shi, Lu Liu, Yan Wu, Liang Jiang, John Panneerselvam, Roy L. Crole
A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams. IEEE Trans. Comput. Soc. Syst. 7 (1) (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Categorical Semantics for Multi-Languages. MFPS (2020)
Samuele Buro, Roy L. Crole, Isabella Mastroeni
Equational Logic and Set-Theoretic Models for Multi-Languages. ICTCS (2020)
Roy L. Crole
The nominal/FM Yoneda Lemma. Math. Struct. Comput. Sci. 30 (9) (2020)
Roy L. Crole, Amy Elizabeth Furniss
Canonical HybridLF: Extending Hybrid with Dependent Types. LSFA (2015)
Roy L. Crole, Frank Nebel
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. MFPS (2013)
Roy L. Crole
Alpha equivalence equalities. Theor. Comput. Sci. 433 (2012)
Roy L. Crole
The representational adequacy of Hybrid. Math. Struct. Comput. Sci. 21 (3) (2011)
Roy L. Crole
Basic Category Theory for Models of Syntax. Generic Programming (2003)
S. J. Ambler, Roy L. Crole, Alberto Momigliano
A definitional approach to primitivexs recursion over higher order abstract syntax. MERLIN (2003)
Simon Ambler, Roy L. Crole, Alberto Momigliano
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction. TPHOLs (2002)
Alberto Momigliano, Simon Ambler, Roy L. Crole
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity. Electron. Notes Theor. Comput. Sci. 70 (2) (2002)
Roy L. Crole
Completeness of Bisimilarity for Contextual Equivalence in Linear Theories. Log. J. IGPL 9 (1) (2001)
Simon Ambler, Roy L. Crole, Alberto Momigliano
Preface: Mechanised Reasoning about Languages with Variable Binding 2001. Electron. Notes Theor. Comput. Sci. 58 (1) (2001)
Roy L. Crole
Introduction. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000)
Roy L. Crole
Encoding FIX in object calculi. RAIRO Theor. Informatics Appl. 34 (1) (2000)
Simon Ambler, Roy L. Crole
Mechanized Operational Semantics via (Co)Induction. TPHOLs (1999)
Roy L. Crole, Andrew D. Gordon
Relating operational and denotational semantics for input/output effects. Math. Struct. Comput. Sci. 9 (2) (1999)
Roy L. Crole
On fixpoint objects and gluing constructions. Appl. Categorical Struct. 4 (2-3) (1996)
Roy L. Crole
Computational Adequacy of the FIX-Logic. Theor. Comput. Sci. 136 (1) (1994)
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
An Internal Language for Interaction Categories. Theory and Formal Methods (1994)
Roy L. Crole, Andrew D. Gordon
A Sound Metalogical Semantics for Input/Output Effects. CSL (1994)
Roy L. Crole
Deriving Category Theory from Type Theory. Theory and Formal Methods (1993)
Roy L. Crole, Andrew D. Gordon
Factoring an Adequacy Proof (Preliminary Report). Functional Programming (1993)
Roy L. Crole, Andrew M. Pitts
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic Inf. Comput. 98 (2) (1992)
Roy L. Crole, Andrew M. Pitts
New Foundations for Fixpoint Computations LICS (1990)

Roy L. Crole.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Roy L. Crole