Identities in Modular Arithmetic from Reversible Coherence Operations

DOI10.1007/978-3-642-38986-3_8zbMath1406.68026arXiv1304.7128OpenAlexW168372048MaRDI QIDQ2868439

P. M. Hines

Publication date: 17 December 2013

Published in: Reversible Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1304.7128

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30)

Related Items (1)

Coherence and strictification for self-similarity

This page was built for publication: Identities in Modular Arithmetic from Reversible Coherence Operations