Roy L. Crole

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On multi-language abstraction: towards a static analysis of multi-language programs Formal Methods in System Design	2025-05-07	Paper
Equational logic and categorical semantics for multi-languages	2022-04-29	Paper
On multi-language abstraction. Towards a static analysis of multi-language programs	2021-10-18	Paper
The nominal/FM Yoneda lemma Mathematical Structures in Computer Science	2021-05-14	Paper
Canonical HybridLF: extending Hybrid with dependent types	2018-04-23	Paper
Nominal lambda calculus: an internal language for FM-Cartesian closed categories	2016-04-12	Paper
A hybrid encoding of Howe's method for establishing congruence of bisimilarity	2013-08-19	Paper
Alpha equivalence equalities Theoretical Computer Science	2012-06-25	Paper
The representational adequacy of Hybrid Mathematical Structures in Computer Science	2011-06-15	Paper
Basic category theory for models of syntax. Lecture Notes in Computer Science	2010-03-09	Paper
scientific article; zbMATH DE number 2087339 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2079038 (Why is no real title available?)	2004-07-21	Paper
scientific article; zbMATH DE number 1927412 (Why is no real title available?)	2003-06-12	Paper
Encoding FIX in Object Calculi RAIRO - Theoretical Informatics and Applications	2001-10-30	Paper
Encoding FIX in Object Calculi RAIRO - Theoretical Informatics and Applications	2001-10-30	Paper
Completeness of bisimilarity for contextual equivalence in linear theories Logic Journal of the IGPL	2001-04-17	Paper
Relating operational and denotational semantics for input/output effects Mathematical Structures in Computer Science	2000-10-17	Paper
scientific article; zbMATH DE number 1424019 (Why is no real title available?)	2000-03-23	Paper
On fixpoint objects and gluing constructions Applied Categorical Structures	1997-05-25	Paper
Computational adequacy of the FIX-logic Theoretical Computer Science	1997-02-27	Paper
scientific article; zbMATH DE number 860038 (Why is no real title available?)	1996-05-07	Paper
scientific article; zbMATH DE number 756051 (Why is no real title available?)	1996-01-28	Paper
Categories for Types	1994-06-14	Paper
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic Information and Computation	1992-09-27	Paper

Research outcomes over time

This page was built for person: Roy L. Crole