Section: New Results

Physics and computation

The paper of G. Dowek and P. Arrighi Free fall and cellular automata has been published [13]. As a sequel of this paper, G. Dowek and P. Arrighi have written a short note [22].

A. Díaz-Caro and G. Dowek have developed a new typing system for quantum $\lambda$-calculus allowing to distinguish between pure states and superpositions.

Under the supervision of S. Martiel and P. Arrighi, C. Chouteau worked on a particular notion of covariance in the model of causal graph dynamics. Causal graph dynamics are graph transformations constrained by Physics-inspired symmetries. The particular object of study of this internship was a restriction of this model to physical transformations of discrete geometrical spaces.