Roy L. Crole

Available identifiers

Publication	Date of Publication	Type
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	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	2012-06-25	Paper
The representational adequacy of Hybrid	2011-06-15	Paper
Basic category theory for models of syntax.	2010-03-09	Paper
https://portal.mardi4nfdi.de/entity/Q4738109	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474850	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4484329	2003-06-12	Paper
Encoding FIX in Object Calculi	2001-10-30	Paper
Completeness of bisimilarity for contextual equivalence in linear theories	2001-04-17	Paper
Relating operational and denotational semantics for input/output effects	2000-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q4945209	2000-03-23	Paper
On fixpoint objects and gluing constructions	1997-05-25	Paper
Computational adequacy of the FIX-logic	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4870808	1996-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4698362	1996-01-28	Paper
Categories for Types	1994-06-14	Paper
New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic	1992-09-27	Paper

This page was built for person: Roy L. Crole