Topological Quantum Gates in Homotopy Type Theory
Myers, David Jaz, Sati, Hisham, Schreiber, Urs
Published in Communications in mathematical physics (01.07.2024)
Published in Communications in mathematical physics (01.07.2024)
Get full text
Journal Article
Behavioral Mereology: A Modal Logic for Passing Constraints
Fong, Brendan, Jaz Myers, David, Spivak, David I.
Published in Electronic proceedings in theoretical computer science (08.02.2021)
Published in Electronic proceedings in theoretical computer science (08.02.2021)
Get full text
Journal Article