Dr James Cranch

All publications

Journal articles

• Cranch J, Doherty S & Struth G (2021) Convolution and concurrency. Mathematical Structures in Computer Science, 31(8), 918-949.
• Cranch J, Doherty S & Struth G (2020) Convolution and Concurrency.
• Cranch J, Doherty S & Struth G (2020) Relational Semigroups and Object-Free Categories.
• Cranch J, Laurence MR & Struth G (2015) Completeness results for omega-regular algebras. Journal of Logical and Algebraic Methods in Programming, 84(3), 402-425.

Conference proceedings papers

• Rotenberg E, Cranch J, Thomsen MK & Axelsen HB (2013) Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier (pp 46-57)
• Rotenberg E, Cranch J, Thomsen MK & Axelsen HB (2013) Strength of the reversible, garbage-free 2 ^k ±1 multiplier. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7948 LNCS (pp 46-57)

Preprints

• Cranch J & Struth G (2024) Interacting Monoidal Structures with Applications in Computing.
• Cranch J, Doherty S & Struth G (2020) Convolution and Concurrency, arXiv.
• Cranch J, Doherty S & Struth G (2020) Relational Semigroups and Object-Free Categories, arXiv.
• Cranch J (2013) Concrete Categories in Homotopy Type Theory, arXiv.
• Cranch J (2011) Algebraic theories, span diagrams and commutative monoids in homotopy theory.
• Cranch J (2010) Algebraic Theories and (Infinity,1)-Categories.