Roy L. Crole

According to our database, Roy L. Crole authored at least 29 papers between 1990 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams.

Lei-Lei Shi, Lu Liu, Yan Wu, Liang Jiang, John Panneerselvam, Roy L. Crole

IEEE Trans. Comput. Soc. Syst., 2020

The nominal/FM Yoneda Lemma.

Roy L. Crole

Math. Struct. Comput. Sci., 2020

On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the Static Analysis - 27th International Symposium, 2020

Equational Logic and Categorical Semantics for Multi-Languages.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Equational Logic and Set-Theoretic Models for Multi-Languages.

Samuele Buro, Roy L. Crole, Isabella Mastroeni

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2015

Canonical HybridLF: Extending Hybrid with Dependent Types.

Roy L. Crole, Amy Elizabeth Furniss

Proceedings of the Tenth Workshop on Logical and Semantic Frameworks, with Applications, 2015

2013

Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories.

Roy L. Crole, Frank Nebel

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

2012

Alpha equivalence equalities.

Roy L. Crole

Theor. Comput. Sci., 2012

2011

The representational adequacy of Hybrid.

Roy L. Crole

Math. Struct. Comput. Sci., 2011

2003

A definitional approach to primitivexs recursion over higher order abstract syntax.

S. J. Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

Basic Category Theory for Models of Syntax.

Roy L. Crole

Proceedings of the Generic Programming - Advanced Lectures, 2003

2002

A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.

Alberto Momigliano, Simon Ambler, Roy L. Crole

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Theorem Proving in Higher Order Logics, 15th International Conference, 2002

2001

Preface: Mechanised Reasoning about Languages with Variable Binding 2001.

Simon Ambler, Roy L. Crole, Alberto Momigliano

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.

Roy L. Crole

Log. J. IGPL, 2001

2000

Encoding FIX in object calculi.

Roy L. Crole

RAIRO Theor. Informatics Appl., 2000

Introduction.

Roy L. Crole

Proceedings of the Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000

1999

Relating operational and denotational semantics for input/output effects.

Roy L. Crole, Andrew D. Gordon

Math. Struct. Comput. Sci., 1999

Mechanized Operational Semantics via (Co)Induction.

Simon Ambler, Roy L. Crole

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

1996

On fixpoint objects and gluing constructions.

Roy L. Crole

Appl. Categorical Struct., 1996

1994

Computational Adequacy of the FIX-Logic.

Roy L. Crole

Theor. Comput. Sci., 1994

An Internal Language for Interaction Categories.

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

A Sound Metalogical Semantics for Input/Output Effects.

Roy L. Crole, Andrew D. Gordon

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

Deriving Category Theory from Type Theory.

Roy L. Crole

Proceedings of the Theory and Formal Methods 1993, 1993

Factoring an Adequacy Proof (Preliminary Report).

Roy L. Crole, Andrew D. Gordon

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

Categories for Types.

Roy L. Crole

Cambridge mathematical textbooks, Cambridge University Press, ISBN: 978-0-521-45701-9, 1993

1992

New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic

Roy L. Crole, Andrew M. Pitts

Inf. Comput., June, 1992

1991

Programming metalogics with a fixpoint type.

Roy L. Crole

PhD thesis, 1991

1990

New Foundations for Fixpoint Computations

Roy L. Crole, Andrew M. Pitts

Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990