Browse by Journal or other publication
2021
Wood, James and Atkey, Robert (2021) A linear algebra approach to linear metatheory. Electronic Proceedings in Theoretical Computer Science, EPTCS, 354 (2021). pp. 195-212. ISSN 2075-2180
2018
Dunne, Kevin (2018) Spectral presheaves, kochen-specker contextuality, and quantale-valued relations. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 386-398. ISSN 2075-2180
Garvie, Liam and Duncan, Ross (2018) Verifying the smallest interesting colour code with quantomatic. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 147-163. ISSN 2075-2180
Dunne, Kevin (2018) On the structure of abstract h*-algebras. Electronic Proceedings in Theoretical Computer Science, EPTCS, 266. pp. 197-208. ISSN 2075-2180