Directeur de Recherche au CNRS
Équipe Plume
Laboratoire de l'Informatique du Parallélisme (LIP)
ENS Lyon
Bureau M7 309
46, allée d'Italie
69342 Lyon cedex 07
Tel. : 04-72-72-83-52
Fax : 04-72-72-80-80
Mail : olivier.laurent@ens-lyon.fr
NEW Computer Aided Linear Logic NEW Click & coLLecT: an interactive linear logic provercoq-yalla) NEW PDF version / LaTeX source) NEW Sequentialization is as fun as bungee jumping (avec Rémi Di Guardia, Lorenzo Tortora de Falco et Lionel Vaux Auclair) - TLLA 23 NEW Type Isomorphisms for Multiplicative-Additive Linear Logic (avec Rémi Di Guardia) - FSCD 23 [DOI] [BibTeX][BibTeX][Coq] [DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][Coq] [DOI] [BibTeX][Coq] [DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][EE] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][DOI] [BibTeX][BibTeX][BibTeX][BibTeX][BibTeX][BibTeX][BibTeX][BibTeX]