https://indico.math.cnrs.fr/event/13397/contributions/13478/attachments/5767/9987/readme.html
Atelier Nix les fondements de nix : store et derivation Nix Langage Base
les fondementsateliernixstoreet
https://contact61717.wixsite.com/projetdd/fondements
Les fondements | projetdd
les fondements