The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roy L. Crole: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Roy L. Crole
    Basic Category Theory for Models of Syntax. [Citation Graph (0, 0)][DBLP]
    Generic Programming, 2003, pp:133-177 [Conf]
  2. Roy L. Crole
    Introduction. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:1-20 [Conf]
  3. 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]
  4. 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]
  5. Roy L. Crole
    Deriving Category Theory from Type Theory. [Citation Graph (0, 0)][DBLP]
    Theory and Formal Methods, 1993, pp:15-26 [Conf]
  6. 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]
  7. Roy L. Crole, Andrew M. Pitts
    New Foundations for Fixpoint Computations [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:489-497 [Conf]
  8. Simon Ambler, Roy L. Crole
    Mechanized Operational Semantics via (Co)Induction. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1999, pp:221-238 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. Roy L. Crole
    Encoding FIX in object calculi. [Citation Graph (0, 0)][DBLP]
    ITA, 2000, v:34, n:1, pp:15-38 [Journal]
  14. 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]
  15. 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]
  16. 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
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002