James Cranch

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
Interacting Monoidal Structures with Applications in Computing (available as arXiv preprint)	2024-01-01	Paper
Cohomology of coloured partition algebras (available as arXiv preprint)	2024-01-01	Paper
Convolution and concurrency Mathematical Structures in Computer Science	2022-06-24	Paper
Completeness results for omega-regular algebras Journal of Logical and Algebraic Methods in Programming	2015-06-10	Paper
Strength of the reversible, garbage-free \(2^{k } \pm 1\) multiplier Reversible Computation	2013-12-17	Paper
Concrete Categories in Homotopy Type Theory	2013-11-07	Paper
Concrete Categories in Homotopy Type Theory (available as arXiv preprint)	2013-01-01	Paper
Algebraic theories, span diagrams and commutative monoids in homotopy theory	2011-09-07	Paper
Algebraic theories, span diagrams and commutative monoids in homotopy theory (available as arXiv preprint)	2011-01-01	Paper
Algebraic Theories and (Infinity,1)-Categories	2010-11-14	Paper
Algebraic Theories and (Infinity,1)-Categories (available as arXiv preprint)	2010-01-01	Paper

Research outcomes over time

This page was built for person: James Cranch