Roy L. Crole

	2011
18		Roy L. Crole: The representational adequacy of Hybrid. Mathematical Structures in Computer Science 21(3): 585-646 (2011)
	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): 60-75 (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): 115-116 (2001)
11		Roy L. Crole: Completeness of Bisimilarity for Contextual Equivalence in Linear Theories. Logic Journal of the IGPL 9(1): 27-51 (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

Coauthor Index

1	S. J. Ambler	[16]
2	Simon Ambler	[8] [12] [13] [14]
3	Roland Carl Backhouse	[15]
4	Simon J. Gay	[5]
5	Jeremy Gibbons	[15]
6	Andrew D. Gordon (Andy Gordon)	[6] [7]
7	Alberto Momigliano	[12] [13] [14] [16]
8	Rajagopal Nagarajan	[5]
9	Andrew M. Pitts	[1] [2]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page