Skip to Main content Skip to Navigation


hal-00944505v1  Preprints, Working Papers, ...
Pablo ArrighiGilles Dowek. Causal graph dynamics
2012
...
hal-00786589v3  Preprints, Working Papers, ...
Matthieu SozeauNicolas Tabareau. Univalence for free
2013