117 citations · 1.6k across the 133 of their papers we have counts for
4 papers · 2 filters
Quantum and Reality
Hisham Sati, Urs Schreiber
Formalizations of quantum information theory in category theory and type theory, for the design of verifiable quantum programming languages, need to express its two fundamental cha…
The Quantum Monadology
Hisham Sati, Urs Schreiber
The modern theory of functional programming languages uses monads for encoding computational side-effects and side-contexts, beyond bare-bone program logic. Even though quantum com…
Entanglement of Sections: The pushout of entangled and parameterized quantum information
Hisham Sati, Urs Schreiber
A question raised by Freedman & Hastings (2023) still stands: To produce a mathematical theory that would unify quantum entanglement/tensor-structure with parameterized/bundle-stru…
Topological Quantum Gates in Homotopy Type Theory
David Jaz Myers, Hisham Sati, Urs Schreiber
Despite the evident necessity of topological protection for realizing scalable quantum computers, the conceptual underpinnings of topological quantum logic gates had arguably remai…