@book{CROsca, author = {Roy L. Crole}, title = {{Semantic Computer Architecture}}, publisher = {Cambridge University Press}, year = {2025}, note = {Contract Agreed; Planned submission in 2025} }
@unpublished{CROcda, author = {Roy L. Crole}, title = {{A Calculus for the Correctness of Radix Arithmetic}}, year = {2024}, note = {(The full paper is likely to be included as an appendix to Semantic Computer Architecture)}, url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mgs2020XmasSeminar-slides.pdf} }
@unpublished{CROfmglr, author = {Roy L. Crole}, title = {{A Frog, A Mug, Gluing, and Logical Relations}}, year = {2023}, note = {Talk at the Pittsposium, Department of Computer Science, University of Cambridge}, url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/pittsposiumCroleLRGlue.pdf} }
@article{CBMmlaFMSD, author = {Samuele Buro and Roy L. Crole and Isabella Mastroeni}, editor = {David Pichardie and Mihaela Sighireanu}, title = {{On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs}}, journal = {Formal Methods in System Design}, publisher = {Springer Nature}, year = {2023}, doi = https://doi.org/10.1007/s10703-022-00405-8 }
@article{CROnfmyl, author = {Roy Crole}, title = {{The Nominal/FM Yoneda Lemma}}, publisher = {Cambridge University Press}, journal = {Mathematical Structures in Computer Science}, year = {2021}, volume = {30}, issue = {9}, pages = {1011-1024}, doi = {https://doi.org/10.1017/S0960129520000328} }
@inproceedings{CBMmla, author = {Samuele Buro and Roy L. Crole and Isabella Mastroeni}, editor = {David Pichardie and Mihaela Sighireanu}, title = {{On Multi-language Abstraction - Towards a Static Analysis of Multi-language Programs}}, booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual Event, November 18-20, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12389}, pages = {310--332}, publisher = {Springer}, year = {2020}, doi = {https://doi.org/10.1007/978-3-030-65474-0_14}, timestamp = {Fri, 29 Jan 2021 16:47:04 +0100}, biburl = {https://dblp.org/rec/conf/sas/BuroCM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{CBscstsml, author = {Samuele Buro and Roy L. Crole and Isabella Mastroeni}, editor = {Gennaro Cordasco and Luisa Gargano and Adele A. Rescigno}, title = {{Equational Logic and Set-Theoretic Models for Multi-Languages}}, booktitle = {Proceedings of the 21st Italian Conference on Theoretical Computer Science, Ischia, Italy, September 14-16, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2756}, pages = {236--249}, publisher = {CEUR-WS.org}, year = {2020}, url = {http://ceur-ws.org/Vol-2756}, timestamp = {Wed, 13 Jan 2021 10:31:34 +0100}, biburl = {https://dblp.org/rec/conf/ictcs/BuroCM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{CBelcsml, author = {Samuele Buro and Roy L. Crole and Isabella Mastroeni}, title = {{Equational Logic and Categorical Semantics for Multi-Languages}}, booktitle = {Proceedings of Thirty-Sixth Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXVI), Paris, France}, publisher = {Elsevier}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {352}, year = {2020}, pages = {79-103}, month = {October}, url = {https://doi.org/10.1016/j.entcs.2020.09.005}, doi = {10.1016/j.entcs.2020.09.005}, timestamp = {Mon, 08 Feb 2021 13:26:50 +0100}, biburl = {https://dblp.org/rec/conf/mfps/BuroCM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{SLWJPCssmeduidsmds, author = {Lei-Lei Shi and Lu Liu and Yan Wu and Liang Jiang and John Panneerselvam and Roy Crole}, title = {{A Social Sensing Model for Event Detection and User Influence Discovering in Social Media Data Streams}}, journal = {Transactions on Computational Social Systems}, publisher = {IEEE}, year = {2020}, volume = {7}, number = {1}, pages = {141-150}, doi = {https://doi.org/10.1109/TCSS.2019.2938954} }
@unpublished{CROctSnotts, author = {Roy L. Crole}, title = {{Category Theory}}, note = {Five lectures on Category Theory for the Midlands Graduate School, Nottingham}, year = 2018, http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mgs2018-categoryTheory-slides.pdf}, url = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mgs2018-categoryTheory-slidesOHP.pdf} }
@unpublished{CROctEnotts, author = {Roy L. Crole}, title = {{Category Theory}}, note = {Exercises on Category Theory for the Midlands Graduate School, Nottingham}, year = 2018, http = {http://www.cs.le.ac.uk/people/rlc3/research/papers/mgs2018-categoryTheory-exercises.pdf} }
@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{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} }
@unpublished{CROnct, author = {Roy L. Crole}, title = {{Nominal Computation Theory}}, note = {{\em Proceedings of Dagstuhl Seminar 13422} 13-16 October 2013}, http = {https://www.dagstuhl.de/13422} }
@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.99.