 | 2003 |
|---|
| 17 |       | Roy L. Crole:
Basic Category Theory for Models of Syntax.
Generic Programming 2003: 133-177 |
| 16 | | S. J. Ambler,
Roy L. Crole,
Alberto Momigliano:
A definitional approach to primitivexs recursion over higher order abstract syntax.
MERLIN 2003 |
| 2002 |
|---|
| 15 |  | Roland Carl Backhouse,
Roy L. Crole,
Jeremy Gibbons:
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, International Summer School and Workshop, Oxford, UK, April 10-14, 2000, Revised Lectures
Springer 2002 |
| 14 | | Simon Ambler,
Roy L. Crole,
Alberto Momigliano:
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.
TPHOLs 2002: 13-30 |
| 13 | | Alberto Momigliano,
Simon Ambler,
Roy L. Crole:
A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.
Electr. Notes Theor. Comput. Sci. 70(2): (2002) |
| 2001 |
|---|
| 12 | | Simon Ambler,
Roy L. Crole,
Alberto Momigliano:
Preface: Mechanised Reasoning about Languages with Variable Binding 2001.
Electr. Notes Theor. Comput. Sci. 58(1): (2001) |
| 11 | | Roy L. Crole:
Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.
Logic Journal of the IGPL 9(1): (2001) |
| 2000 |
|---|
| 10 | | Roy L. Crole:
Introduction.
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 1-20 |
| 9 | | Roy L. Crole:
Encoding FIX in object calculi.
ITA 34(1): 15-38 (2000) |
| 1999 |
|---|
| 8 | | Simon Ambler,
Roy L. Crole:
Mechanized Operational Semantics via (Co)Induction.
TPHOLs 1999: 221-238 |
| 7 | | Roy L. Crole,
Andrew D. Gordon:
Relating operational and denotational semantics for input/output effects.
Mathematical Structures in Computer Science 9(2): 125-158 (1999) |
| 1994 |
|---|
| 6 | | Roy L. Crole,
Andrew D. Gordon:
A Sound Metalogical Semantics for Input/Output Effects.
CSL 1994: 339-353 |
| 5 | | Roy L. Crole,
Simon J. Gay,
Rajagopal Nagarajan:
An Internal Language for Interaction Categories.
Theory and Formal Methods 1994: 85-104 |
| 4 | | Roy L. Crole:
Computational Adequacy of the FIX-Logic.
Theor. Comput. Sci. 136(1): 217-242 (1994) |
| 1993 |
|---|
| 3 | | Roy L. Crole:
Deriving Category Theory from Type Theory.
Theory and Formal Methods 1993: 15-26 |
| 1992 |
|---|
| 2 | | Roy L. Crole,
Andrew M. Pitts:
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
Inf. Comput. 98(2): 171-210 (1992) |
| 1990 |
|---|
| 1 | | Roy L. Crole,
Andrew M. Pitts:
New Foundations for Fixpoint Computations
LICS 1990: 489-497 |
