The SCEAS System
| |||||||

## Search the dblp DataBase
Roy L. Crole:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Roy L. Crole
**Basic Category Theory for Models of Syntax.**[Citation Graph (0, 0)][DBLP] Generic Programming, 2003, pp:133-177 [Conf] - Roy L. Crole
**Introduction.**[Citation Graph (0, 0)][DBLP] Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:1-20 [Conf] - Roy L. Crole, Andrew D. Gordon
**A Sound Metalogical Semantics for Input/Output Effects.**[Citation Graph (0, 0)][DBLP] CSL, 1994, pp:339-353 [Conf] - S. J. Ambler, Roy L. Crole, Alberto Momigliano
**A definitional approach to primitivexs recursion over higher order abstract syntax.**[Citation Graph (0, 0)][DBLP] MERLIN, 2003, pp:- [Conf] - Roy L. Crole
**Deriving Category Theory from Type Theory.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1993, pp:15-26 [Conf] - Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
**An Internal Language for Interaction Categories.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:85-104 [Conf] - Roy L. Crole, Andrew M. Pitts
**New Foundations for Fixpoint Computations**[Citation Graph (0, 0)][DBLP] LICS, 1990, pp:489-497 [Conf] - Simon Ambler, Roy L. Crole
**Mechanized Operational Semantics via (Co)Induction.**[Citation Graph (0, 0)][DBLP] TPHOLs, 1999, pp:221-238 [Conf] - Simon Ambler, Roy L. Crole, Alberto Momigliano
**Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction.**[Citation Graph (0, 0)][DBLP] TPHOLs, 2002, pp:13-30 [Conf] - Alberto Momigliano, Simon Ambler, Roy L. Crole
**A Hybrid Encoding of Howe's Method for Establishing Congruence of Bisimilarity.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2002, v:70, n:2, pp:- [Journal] - Roy L. Crole, Andrew M. Pitts
**New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic**[Citation Graph (0, 0)][DBLP] Inf. Comput., 1992, v:98, n:2, pp:171-210 [Journal] - Roy L. Crole
**Completeness of Bisimilarity for Contextual Equivalence in Linear Theories.**[Citation Graph (0, 0)][DBLP] Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal] - Roy L. Crole
**Encoding FIX in object calculi.**[Citation Graph (0, 0)][DBLP] ITA, 2000, v:34, n:1, pp:15-38 [Journal] - Roy L. Crole, Andrew D. Gordon
**Relating operational and denotational semantics for input/output effects.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1999, v:9, n:2, pp:125-158 [Journal] - Simon Ambler, Roy L. Crole, Alberto Momigliano
**Preface: Mechanised Reasoning about Languages with Variable Binding 2001.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:58, n:1, pp:- [Journal] - Roy L. Crole
**Computational Adequacy of the FIX-Logic.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1994, v:136, n:1, pp:217-242 [Journal]
Search in 0.059secs, Finished in 0.061secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |