Roy L. Crole

New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic

Roy L. Crole, Andrew M. Pitts · Information and Computation · 1992 · 51 citations

Engineering, Automated Reasoning, New Foundations +6

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

Leilei Shi, Lu Liu, Yan Wu et al. · IEEE Transactions on Computational Social Systems · 2019 · 36 citations

Social Data Analysis, Engineering, Social Medium Monitoring +23

A definitional approach to primitivexs recursion over higher order abstract syntax

Simon Ambler, Roy L. Crole, Alberto Momigliano · 2003 · 20 citations · Full text

Engineering, Automated Proof, Higher-order Logic +19

New foundations for fixpoint computations

Roy L. Crole, Andrew M. Pitts · 2002 · 19 citations

Computational Complexity Theory, Engineering, Type Theory +22

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

Alberto Momigliano, Simon Ambler, Roy L. Crole · Electronic Notes in Theoretical Computer Science · 2002 · 18 citations · Full text

Engineering, Hybrid Encoding, Automated Reasoning +13