Arrêt de service lundi 11 juillet de 12h30 à 13h : tous les sites du CCSD (HAL, EpiSciences, SciencesConf, AureHAL) seront inaccessibles (branchement réseau à modifier)
Giuseppe Longo. Reflections on formalism and reductionism in Logic and Computer Science. European Conference of Mathematics, pp.202-209, 1992. ⟨hal-03318152⟩