The formalism of quantum theory over discrete systems is extended in two significant ways.
First, quantum evolutions are generalized to act over entire network configurations, so that …

On the one side, the formalism of Global Transformations comes with the claim of capturing
any transformation of space that is local, synchronous and deterministic. The claim has been …

We study non-terminating graph rewriting models, whose local rules are applied non-
deterministically--and yet enjoy a strong form of determinism, namely space-time …

The laws of Physics are time-reversible, making no qualitative distinction between the past
and the future—yet we can only go towards the future. This apparent contradiction is known …

We provide a mathematically and conceptually robust notion of quantum superpositions of
graphs. We argue that, crucially, quantum superpositions of graphs require node names for …

The laws of Physics are time-reversible, making no qualitative distinction between the past
and the future—yet we can only go towards the future. This apparent contradiction is known …

We present results on quantum Turing machines and on prover-verifier interactions. In our
work on quantum Turing machines, we continue the line of research opened by Yao (1993) …

Consider a network that evolves according to a reversible, nearest neighbours dynamics. Is
the dynamics allowed to vary the size of the network? On the one hand it seems that, being …