Crole, Roy L. - Department of Computer Science, University of Leicester

Advanced Search

Crole, Roy L. - Department of Computer Science, University of Leicester

The Representational Adequacy of Hybrid R. L. Crole
Mechanized Operational Semantics via (Co)Induction (Preliminary Report)
Encoding FIX in Object Calculi Roy L. Crole
These notes are to accompany the module CO3008. They contain all of the core ma terial for the course. For more motivation and background, examples, and further
These notes are to accompany the module CO3008. They contain all of the core ma-terial for the course. For more motivation and background, examples, and further
Lectures on [Co]Induction and [Co]Algebras Roy L. Crole
Implementing Operational Semantics (Preliminary Report)
University of Leicester PROGRAMMING LANGUAGES
Factoring an Adequacy Proof (Preliminary Version)
New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction ?
A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle
Programming Metalogics Fixpoint Type
MODAL LOGIC Dr. R. L. Crole
Implementing Operational Semantics (Preliminary Report)
How Linear is Howe? Roy L. Crole
Lectures on [Co]Induction and [Co]Algebras Roy L. Crole
Mechanized Operational Semantics via (Co)Induction Simon J. Ambler and Roy L. Crole
These notes are to accompany the module CO 1016. They contain core material for the course. For more motivation and background please attend the lectures.
Basic Category Theory for Models of Syntax (Preliminary Version)
Relating Operational and Denotational Semantics for Input/Output Effects
Basic Category Theory for Models of Syntax ? (Preliminary Version)
On Fixpoint Objects and Gluing Constructions Roy L. Crole
Midlands Graduate School Foundations of Computer Science
BRICS Summer School Logical Methods
Deriving Category Theory Type Theory
Computational Adequacy of the FIX-Logic Roy L. Crole
Using Effect Systems for Automating Model R. L. Crole (R.Crole@mcs.le.ac.uk) & A. Furniss (mjf29@le.ac.uk)
Computational Adequacy of the FIX-Logic Roy L. Crole
Programming Metalogics Fixpoint Type
BRICS Summer School Logical Methods
Recursive Types via Fixpoint Objects Roy L. Crole
Alpha Equivalence Equalities R. L. Crole
Relating Operational and Denotational Semantics for Input/Output E ects