Section: New Results
Physics and computation
A. Díaz-Caro and G. Dowek have developed a new typing system for quantum -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.