@unpublished{CRO,
author = {Roy L. Crole and Samuel Balco},
title = {{Computer Arithmetic Correctness}},
year = {2018},
note = {In Draft}
}
@article{CFchlf,
author = {Roy L. Crole and Amy Furniss},
title = {{Canonical HybridLF: Extending Hybrid with Dependent Types}},
journal = {Electronic Notes in Theoretical Computer Science},
year = {2016},
volume = {323},
pages = {125-142},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/lsfa-slides-2015.pdf},
http = {https://doi.org/10.1016/j.entcs.2016.06.009}
}
@unpublished{CNylccfmw,
author = {Roy L. Crole and Frank Nebel},
title = {{The Yoneda Lemma and Cartesian Closure in the FM-World}},
note = {Submitted}
}
@unpublished{CROctS,
author = {Roy L. Crole},
title = {{Category Theory}},
note = {Five lectures on Category Theory for the Midlands Graduate School, Sheffield},
year = 2015,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/ct-slides-MGS-2015.pdf}
}
@unpublished{CROctE,
author = {Roy L. Crole},
title = {{Category Theory}},
note = {Exercises on Category Theory for the Midlands Graduate School, Sheffield},
year = 2015,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/ct-exercises-MGS-2015.pdf}
}
@unpublished{CROmmcgiS,
author = {Roy L. Crole},
title = {{Multi-Media and Computer Graphics}},
note = {Slides on Image Effects in Java, 2014 and 2015},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mmcgImages-slides-2015.pdf}
}
@unpublished{CROmmcgaS,
author = {Roy L. Crole},
title = {{Multi-Media and Computer Graphics}},
note = {Slides on Audio Effects in Java, 2014 and 2015},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mmcgImages-slides-2015.pdf}
}
@unpublished{CROmmcgSVGS,
author = {Roy L. Crole},
title = {{Multi-Media and Computer Graphics}},
note = {Slides on SVG, 2014 and 2015},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mmcgSVG-slides-2015.pdf}
}
@unpublished{CROmmcgjcdS,
author = {Roy L. Crole},
title = {{Multi-Media and Computer Graphics}},
note = {Slides on Java3D Collision Detection in Java, 2014 and 2015},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mmcgJava3DCollisionDetection-slides-2015.pdf}
}
@inproceedings{CNsccsnlc,
author = {Roy L. Crole and Frank Nebel},
title = {{Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories}},
booktitle = {Proceedings of Twenty-Ninth Conference on the
Mathematical Foundations of Programming Semantics
(MFPS XXIX), New Orleans, LA},
pages = {93-117},
year = {2013},
editor = {Michael Mislove},
volume = {298},
month = {November},
publisher = {Electronic Notes in Theoretical Computer Science},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/nlcilfmccc.pdf},
doi = {doi:10.1016/j.entcs.2013.09.009}
}
@article{CROaee,
author = {Roy L. Crole},
title = {{$\alpha$-Equivalence Equalities}},
journal = {Theoretical Computer Science},
year = {2012},
volume = {433},
optnumber = {3},
pages = {1-19},
month = {May},
doi = {10.1016/S0304397512000667},
http = {http://dx.doi.org/10.1016/j.tcs.2012.01.030}
}
@article{CROrah,
author = {Roy L. Crole},
title = {{Representational Adequacy for Hybrid}},
journal = {Mathematical Structures in Computer Science},
year = 2011,
volume = 21,
number = 3,
pages = {585-646},
month = {March},
doi = {10.1017/S0960129511000041},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/rah.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/rah-slides.pdf}
}
@booklet{CROcsRevisionN,
author = {R.~L.~Crole},
title = {{Computer Systems}},
note = {Department of Computer Science Lecture Notes,
\LaTeX\ format vi+121~pages with subject
index.},
year = 2011,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/csNotes-2011.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/csSlides-2011.pdf}
}
@inproceedings{CFuesame,
author = {Roy L. Crole and Amy Furniss},
title = {{Using Effect Systems to Automate Model Extraction}},
booktitle = {Proceedings of URC10, King's College, London},
optpages = {},
year = {2010},
editor = {M. Fernandez and K. Steinhofel},
volume = {1},
optnumber = {},
month = {December},
organization = {International Federation for Computational Logic},
publisher = {College Publications},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/uesame.pdf},
url = {http://www.collegepublications.co.uk/ifcolog/ifp/?00001}
}
@unpublished{CROcttN,
author = {Roy L. Crole},
title = {{Categorical Type Theory}},
note = {Lectures For a Course at Nanchang University, China},
year = {2009},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cttNanchang-slides.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cttNanchang-slides-8up.pdf},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cttNanchang-exercises.pdf}
}
@unpublished{CROess,
author = {Roy L. Crole et al},
title = {{Essential Simultaneous Substitution}},
note = {Unpublished notes},
year = {2009}
}
@unpublished{CROmrpsfo,
author = {Roy L. Crole},
title = {{Monads, Recursive Programme Schemes, and Fixpoint Objects}},
note = {Unpublished notes},
year = 2007
}
@booklet{CROosamcN,
author = {R.~L.~Crole},
title = {{Operational Semantics, Abstract Machines and Correctness}},
note = {Lecture Notes for the Midlands Graduate School in the Foundations of Computer Science, \LaTeX\ format 91~pages with subject
and notation index, plus slides 1-up and 8-up. Revised 2007 and 2008},
year = {2006},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/osamc-notes.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/osamc-slides.pdf},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/osamc-slides-8up.pdf}
}
@booklet{CROfpN,
author = {R.~L.~Crole},
title = {{Functional Programming}},
note = {Department of Computer Science Lecture/Slide Notes},
year = {2005},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fpnotes2005.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fpnotes2005-4up.pdf},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fpnotes2005-8up.pdf}
}
@article{ACMcptmprhoas,
author = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
title = {{A Combinator and Presheaf Topos Model for Primitive Recursion over Higher Order Abstract Syntax}},
journal = {{Collegium Logicum}},
publisher = {Springer-Verlag},
pages = {83-90},
year = {2004},
note = {CSL 2003 / 8th Kurt Godel Colloquium Poster Collection, Vienna, August, 2003. },
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cptmprhoas.pdf}
}
@inproceedings{ACMdaprhoas,
author = {S. J. Ambler and R. L. Crole and Alberto Momigliano},
title = {A definitional approach to primitive recursion over higher order abstract syntax},
booktitle = {MERLIN '03: Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding},
year = {2003},
isbn = {1-58113-800-8},
pages = {1--11},
location = {Uppsala, Sweden},
doi = {http://doi.acm.org/10.1145/976571.976572},
publisher = {ACM Press},
address = {New York, NY, USA}
}
@unpublished{CROcb,
author = {Roy L. Crole},
title = {{Coinduction and Bisimulation}},
note = {Lectures for the International Summer School on the Foundations of Security, University of Oregon, Eugene, USA},
month = {June},
year = {2003},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cbslides.ps.gz},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cbslides.pdf},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cbslides-8up.pdf}
}
@inproceedings{CRObctms,
author = {R.~L.~Crole},
title = {{Basic Category Theory for Models of Syntax}},
booktitle = {{Generic Programming International Summer School 2002, Oxford, UK}},
pages = {133-177},
year = {2003},
editor = {Roland Backhouse and Jeremy Gibbons},
number = {2793},
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/bctms2006.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/bctms2006.ps.gz},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/bctms2006-slides.pdf}
}
@inproceedings{ACMchoasttpci,
author = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
title = {{Combining Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction}},
booktitle = {Proceedings of the 15th International Conference on
Theorem Proving in Higher Order Logics, Hampton, VA, USA},
year = {2002},
pages = {13--30},
publisher = {Springer-Verlag},
volume = {2410},
series = {Lecture Notes in Computer Science},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/choasttpci.pdf},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/choasttpci.ps.gz}
}
@article{ACMmulch,
author = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
title = {{A Hybrid Encoding of Howe's Method for Establishing
Congruence of Bisimilarity. (Extended Abstract)}},
year = 2002,
volume = 70,
number = 2,
journal = {Electronic Notes in Theoretical Computer Science},
note = {Proceedings of the Third International Workshop on
Logical Frameworks and Meta-Languages (LFM'02). A FLoC'02 affiliated workshop,
Copenhagen, Denmark, July 26, 2002.},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/hehmecb.pdf}
}
@proceedings{CROacmmpc,
title = {{Algebraic and Coalgebraic Methods in the Mathematics of Program Construction}},
year = {2002},
editor = {R. Backhouse and R. L. Crole and J. Gibbons},
volume = 2297,
series = {Lecture Notes in Computer Science},
publisher = {Springer-Verlag},
note = {Revised lectures from an International Summer School and Workshop, Oxford, UK, April 2000. }
}
@inproceedings{CROacmmpci,
author = {R.~L.~Crole},
booktitle = {{Algebraic and Coalgebraic Methods in the Mathematics of Program Construction}},
title = {{Introduction to Algebraic and Coalgebraic Methods in the Mathematics of Program Construction}},
note = {Appears in LNCS 2297.},
year = {2002}
}
@proceedings{ACMmerlin,
title = {{Mechanized Reasoning about Languages with Variable Binding (MERLIN~2001)}},
year = 2001,
editor = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
series = {Electronic Notes In Theoretical Computer Science},
volume = {58(1)},
note = {{Final papers of a workshop held in conjunction with
the International Joint Conference on Automated Reasoning, IJCAR
2001, Siena, Italy}},
http = {http://www.elsevier.com/gej-ng/31/29/23/90/27/show/Products/notes/index.htt}
}
@booklet{CRObrics,
title = {{Categorical Logic and Type Theory}},
author = {R.~L.~Crole},
howpublished = {{Proceedings of the BRICS International EEF Summer School on Logical Foundations, Aarhus, Denmark}},
month = {{June}},
year = 2001,
note = {vi+109~pp with index},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cltt.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cltt-slides.pdf},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cltt.ps.gz}
}
@inproceedings{ACMcfmlvbi,
author = {A.~Momigliano and S.~J.~Ambler and R.~L.~Crole},
title = {{A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle}},
booktitle = {Supplemental Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics},
editor = {Richard J. Boulton and Paul B. Jackson},
year = 2001,
pages = {267--282},
note = {Report EDI-INF-RR-0046},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cfmtlvbi.pdf}
}
@proceedings{ACMpmTR,
title = {{Mechanized Reasoning about Languages with Variable Binding (MERLIN~2001)}},
year = 2001,
editor = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
publisher = {Published by the University of Leicester Department of Mathematics and Computer Science, Report~2001/26},
month = {June},
note = {{Proceedings of a Workshop held in conjunction with the International Joint Conference on Automated Reasoning, IJCAR 2001, Siena, Italy. v1+132pp.}}
}
@techreport{ACMcfmlvbiTR,
author = {S.~J.~Ambler and R.~L.~Crole and A.~Momigliano},
title = {{A Comparison of Formalizations of the Meta-Theory of a Language with Variable Bindings in Isabelle}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 2001,
number = {2001/7},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cfmtlvbi.pdf}
}
@article{CROcbcelt,
author = {R.~L.~Crole},
title = {{Completeness of Bisimilarity for Contextual Equivalence in
Linear Theories}},
journal = {{Electronic Journal of the IGPL}},
year = 2001,
month = {{January}},
volume = 9,
number = 1,
http = {http://www3.oup.co.uk/igpl/Volume_09/Issue_01/}
}
@article{CROefoc,
author = {R.~L.~Crole},
title = {{Encoding FIX in Object Calculi}},
journal = {{RAIRO Journal of Theoretical Informatics and Applications}},
year = 2000,
volume = 34,
number = 1,
pages = {15--38},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/efoc.pdf}
}
@article{CROevj++REV,
author = {R. L. Crole},
title = {{Review of \emph{Essential Visual J++ 6.0 Fast}}},
journal = {The Computer Bulletin},
year = 2000,
month = {{March}},
pages = {31}
}
@article{CROoopjREV,
author = {R. L. Crole},
title = {{Review of \emph{Object Oriented Programming and Java}}},
journal = {British Computer Society},
year = 1999,
http = {http://www.bcs.org.uk/books/java.htm}
}
@inproceedings{ACmosci,
author = {S.~J.~Ambler and R.~L.~Crole},
title = {{Mechanised Operational Semantics via (Co)Induction}},
booktitle = {Proceedings of the 12th International Conference on
Theorem Proving in Higher Order Logics, Nice, France},
year = 1999,
pages = {221--238},
publisher = {Springer-Verlag},
volume = 1690,
series = {Lecture Notes in Computer Science},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/tphols99.ps.gz}
}
@booklet{CROcsN,
author = {R.~L.~Crole},
title = {{Computer Systems}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format 93~pages with subject
index. Revised 2000, 2001, 2002.},
year = 1999,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/csnotes11-04-2003.ps.gz},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/csslides11-04-2003.ps.gz}
}
@article{CGrrodsioe,
author = {R.~L.~Crole and A.~D.~Gordon},
title = {{Relating Operational and Denotational Semantics for Input/Output
Effects}},
journal = {Mathematical Structures in Computer Science},
volume = {9},
pages = {125--158},
year = {1999},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/rodsioe.pdf}
}
@techreport{CROsibceTR,
author = {R.~L.~Crole},
title = {{Incompleteness of Linear Bisimilarity for
Contextual Equivalence}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1999,
number = {1999/6}
}
@booklet{CROosN,
author = {R.~L.~Crole},
title = {{Operational Semantics}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format 101~pages with subject
and notation index. Revised 2000,2001,2003.},
year = 1999,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/semnotes11-04-2003.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/semslides11-04-2003.pdf}
}
@article{CROkjREV,
author = {R. L. Crole},
title = {{Review of \emph{Key Java}}},
journal = {BCS},
year = 1999,
http = {http://www.bcs.org.uk/books/program.htm#java}
}
@techreport{ACmosciTR,
author = {S.~J.~Ambler and R.~L.~Crole},
title = {{Mechanised Operational Semantics via (Co)Induction}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1998,
number = {1998/22},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mosci98.ps.gz}
}
@techreport{CROefocTR,
author = {R.~L.~Crole},
title = {{Encoding FIX in Object Calculi}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1998,
number = {1998/18}
}
@techreport{CROlacTR,
author = {R.~L.~Crole},
title = {{Lectures on [Co]Induction and [Co]Algebras}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1998,
number = {1998/12},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/coalg98.pdf},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/coalg98slides.pdf},
ps = {http://www.cs.le.ac.uk/people/rlc3/research/papers/coalg98.ps.gz},
pdf = {http://www.cs.le.ac.uk/people/rlc3/research/papers/coalg98slides.ps.gz}
}
@techreport{CROmfroc,
author = {R.~L.~Crole},
title = {{Modeling FIX in Recursive Object Calculi}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1998,
number = {1998/10},
note = {Paper accepted for the CSL/MFCS~98 FICS workshop,
Brno, Czech-Republic, August 1998}
}
@techreport{CROpeltTR,
author = {R.~L.~Crole},
title = {{Program Equivalences for Linear Theories}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1998,
number = {1998/3}
}
@unpublished{CROmtdREV,
author = {R. L. Crole},
title = {{Review of \emph{Mathematical Theory of Domains}}},
note = {Journal of Formal Aspects of Computing}
}
@unpublished{CROtooN,
author = {R. L. Crole},
title = {{Notes on the Theory of Objects}},
note = {Lectured during a reading Group. Foils available from the author.}
}
@article{CROlpacREV,
author = {R. L. Crole},
title = {Review of \emph{Locally Presentable and Accessible Categories}},
journal = {The Journal of Logic and Computation},
volume = {7},
number = {6},
pages = {825--827},
year = {1997}
}
@techreport{CROkplTR,
author = {R.~L.~Crole},
title = {{The KOREL Programming Language (Preliminary Report)}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1997,
number = {1997/43}
}
@techreport{CROiosTR,
author = {R.~L.~Crole},
title = {{Implementing Operational Semantics (Preliminary Report)}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1997,
number = {1997/42},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/ios97.ps.gz},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/ios97.pdf}
}
@inproceedings{CROhlh,
author = {R.~L.~Crole},
title = {{How Linear is Howe?}},
booktitle = {Advances in Theory and Formal Methods 1996},
year = 1996,
pages = {60-72},
editor = {G.~McCusker and A.~Edalat and S.~Jourdan},
publisher = {Imperial College Press}
}
@article{CROfogc,
author = {R.~L.~Crole},
title = {{On Fixpoint Objects and Gluing Constructions}},
journal = {Applied Categorical Structures},
year = 1996,
volume = 4,
number = {2 \& 3},
pages = {251--281},
note = {This volume is a Special Edition for the European Colloquium on
Category Theory, Tours, France}
}
@techreport{CROfogcTR,
author = {R.~L.~Crole},
title = {{On Fixpoint Objects and Gluing Constructions}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1996,
number = {1996/3},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fogc.ps.gz}
}
@techreport{CGrodsioeTR,
author = {R.~L.~Crole and A.~D.~Gordon},
title = {{Relating Operational and Denotational Semantics for Input/Output
Effects}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1996,
number = {1996/5},
note = {Submitted to the Journal of Mathematical Structures in Computer
Science}
}
@techreport{CROhlihTR,
author = {R.~L.~Crole},
title = {{How Linear is Howe?}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1996,
number = {1996/17},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/hlih.ps.gz}
}
@techreport{CROfocfmTR,
author = {R.~L.~Crole},
title = {{On Fixpoint Objects for Commutative Faithful Monads}},
institution = {Department of Mathematics and Computer Science, University of
Leicester},
year = 1996,
number = {1996/16}
}
@unpublished{CROcsrsgtv,
author = {R.~ L.~ Crole},
title = {{The Computing Science Research Strategy Group and the
\emph{Theory Vertical}}},
journal = {BCS-FACS Newsletter},
year = 1996,
note = {Article based on an invited address to the
1996 BCS-FACS Annual General Meeting}
}
@inproceedings{CGrodsioe,
author = {R. L. Crole and A. D. Gordon},
title = {{A Sound Metalogical Semantics for Input/Output Effects}},
booktitle = {Proceedings of Computer Science Logic 1994},
year = 1995,
editor = {L.~Pacholski and J.~Tiuryn},
pages = {339--353},
publisher = {Springer-Verlag},
volume = 933,
series = {Lecture Notes in Computer Science}
}
@inproceedings{CGNilic,
author = {R.~L.~Crole and S.~J.~Gay and R.~Nagarajan},
title = {{An Internal Language for Interaction Categories}},
booktitle = {Theory and Formal Methods 1994},
year = 1995,
editor = {C.~L.~Hankin and I.~C.~Mackie and R.~Nagarajan},
pages = {85--104},
publisher = {Imperial College Press},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/ilic94.pdf}
}
@booklet{CROmlN,
author = {R.~L.~Crole},
title = {{Modal Logic}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format, iv+43~pages with index},
year = 1995,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/modallogicnotes1996.pdf}
}
@unpublished{CROtsmf,
author = {R.~L.~Crole},
title = {{A Note on Tightly Separated Monotone Functions}},
note = {Unpublished note},
year = 1995
}
@booklet{CROfptN,
author = {R.~L.~Crole},
title = {{Functional Programming Theory}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format iv+68~pages with index},
year = 1995,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fptnotes1996.pdf}
}
@booklet{CROdsN,
author = {R.~L.~Crole},
title = {{Discrete Structures}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format iii+59~pages with index},
year = 1995
}
@booklet{CROglN,
author = {R.~L.~Crole},
title = {{A Guide to \LaTeX$2\epsilon$}},
note = {Department of Mathematics and Computer Science Lecture Notes.
Copies of 53 foils, plus output of sample files. Soft copy of
sample files and exercises available},
year = 1995
}
@booklet{CROsplN,
author = {R.~L.~Crole},
title = {{Semantics of Programming Languages}},
note = {Department of Mathematics and Computer Science Lecture Notes,
\LaTeX\ format iii+97~pages with subject
and notation index},
year = 1995,
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/spl-notes.pdf}
}
@booklet{CROdsHW,
author = {R.~L.~Crole},
title = {{Discrete Structures}},
note = {Department of Mathematics and Computer Science Lecture Notes,
approx~100 pages, hand-written},
year = 1994
}
@article{CROcrREV,
author = {R. L. Crole},
title = {{Review of \emph{Computation and Reasoning}}},
journal = {The Computer Journal},
year = 1994,
volume = 37,
number = 6,
pages = {552--553}
}
@unpublished{CROfoee,
author = {R.~L.~Crole},
title = {{Fixpoint Objects and Enriched Endofunctors}},
note = {Unpublished note},
year = 1994
}
@article{CROLcafl,
author = {R. L. Crole},
title = {{Computational Adequacy of the FIX-Logic}},
journal = {Theoretical Computer Science},
year = 1994,
volume = 136,
pages = {217--242},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cafl.ps.gz},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/cafl.pdf}
}
@inproceedings{CGfap,
author = {R. L. Crole and A. D. Gordon},
title = {{Factoring an Adequacy Proof}},
booktitle = {FP'93 Glasgow Workshop on Functional Programming},
year = 1994,
editor = {C.~J. van~Rijsbergen},
publisher = {Springer-Verlag},
pages = {9--25},
series = {Workshops in Computing},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/fap.pdf}
}
@book{CROct,
author = {R. L. Crole},
title = {{Categories for Types}},
publisher = {Cambridge University Press},
year = 1993,
series = {Cambridge Mathematical Textbooks},
note = {xvii+335 pages, ISBN 0521450926HB, 0521457017PB}
}
@unpublished{CROGORoega,
author = {R. L. Crole and A. D. Gordon},
title = {{Observational Equivalence via Generic Adequacy}},
note = {Unpublished manuscript},
year = 1993
}
@unpublished{CROctsN,
author = {R. L. Crole},
title = {{Categories, Types and Semantics}},
year = 1993,
month = {October},
note = {Hand-written notes for a graduate lecture course,
Imperial College Department of Computing, 88~pages}
}
@inproceedings{BGRtfm93,
author = {R.~L.~Crole},
title = {{Deriving Category Theory from Type Theory}},
booktitle = {Theory and Formal Methods 1993},
year = 1993,
editor = {G.~Burn and S.~Gay and M.~Ryan},
pages = {15--26},
publisher = {Springer-Verlag},
series = {Workshops in Computing},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/dcttt.pdf}
}
@article{CPfhfl,
author = {R. L. Crole and A. M. Pitts},
title = {{New Foundations for Fixpoint Computations: \mbox{FIX}
Hyperdoctrines and the \mbox{FIX} Logic}},
journal = {Information and Computation},
year = 1992,
volume = 98,
pages = {171--210},
note = {LICS '90 Special Edition of Information and Computation},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/nffc-IC.pdf}
}
@inproceedings{CROrtfo,
author = {R. L. Crole},
title = {{Recursive Types via Fixpoint Objects}},
booktitle = {CLICS Workshop, Aarhus University, Denmark},
year = 1992,
publisher = {Aarhus University},
note = {DAIMI~PB~-~397~-~II, May 1992}
}
@techreport{CROpmfptTR,
author = {R. L. Crole},
title = {{Programming Metalogics with a Fixpoint Type}},
institution = {University of Cambridge Computer Laboratory},
year = 1992,
number = {247},
note = {Published version of Ph.D. Thesis},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/thesis.ps.gz},
url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/thesis.pdf}
}
@phdthesis{CROLphd,
author = {R. L. Crole},
title = {{Programming Metalogics with a Fixpoint Type}},
school = {Computer Laboratory, University of Cambridge},
year = 1991
}
@unpublished{CROLcetN,
author = {R. L. Crole},
title = {{Categories, Equational Logic and Typed Lambda Calculi}},
note = {Hand-Written Notes for a Graduate Lecture Course,
University of Cambridge Computer Laboratory, 236 pages},
year = 1990,
month = {September}
}
@inproceedings{CPnffc,
author = {R. L. Crole and A. M. Pitts},
title = {{New Foundations for Fixpoint Computations}},
booktitle = {5th Annual Symposium on Logic in Computer Science},
year = 1990,
pages = {489--497},
publisher = {I.E.E.E. Computer Society Press},
http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/nffc.pdf}
}
@techreport{CROfhflTR,
author = {R. L. Crole and A. M. Pitts},
title = {{New Foundations for Fixpoint Computations: \mbox{FIX}
Hyperdoctrines and the \mbox{FIX} Logic}},
institution = {University of Cambridge Computer Laboratory},
year = 1990,
number = {204}
}
@unpublished{CROktccs,
author = {R.~L.~Crole},
title = {{K-Theory}},
note = {An essay submitted for Part~III of the Mathematical Tripos,
University of Cambridge}
}
This file was generated by bibtex2html 1.98.