11 citations
5 papers
Distributed measurement-based quantum computation
Vincent Danos, Ellie D'Hondt, Elham Kashefi +1
We develop a formal model for distributed measurement-based quantum computations, adopting an agent-based view, such that computations are described locally where possible. Because…
Inverting weak dihomotopy equivalence using homotopy continuous flow
Philippe Gaucher
A flow is homotopy continuous if it is indefinitely divisible up to S-homotopy. The full subcategory of cofibrant homotopy continuous flows has nice features. Not only it is big en…
T-homotopy and refinement of observation (IV) : Invariance of the underlying homotopy type
Philippe Gaucher
This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and…
T-homotopy and refinement of observation (III) : Invariance of the branching and merging homologies
Philippe Gaucher
This series explores a new notion of T-homotopy equivalence of flows. The new definition involves embeddings of finite bounded posets preserving the bottom and the top elements and…
No-counterexample interpretation et spécification des théorèmes de l'arithmétique
Denis Bonnay
This paper presents two different ways of extracting the computational content of formal proofs in arithmetic. The first one corresponds to Kreisel's No-counterexample Interpretati…