Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Photo de VAUX Lionel
VAUX Lionel      
Organisme : Aix Marseille Université
Maître de Conférences
Equipe: Logique de la Programmation (LDP) (responsable de)
lionel.vaux_AT_univ-amu.fr
04 91 26 96 87
Bureau: 234, Etg: 2, Bât: TPR2 - Site : Luminy

Administration Locale:
  • Membre du conseil du laboratoire
Domaines de Recherche:

Productions scientifiques :
--------------------
+ Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ -terms arxiv link

Auteur(s): Pagani Michele, Tasson Christine, Vaux L.(Corresp.)

Conference: 19th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2016) (Eindhoven, NL, 2016-04-04)
Actes de conférence: , vol. Lecture Notes in Computer Science 9634 p.pp 408-423 (2016)

--------------------
+ Informatique Mathématique : une photographie en 2013 hal link

Auteur(s): Beffara Emmanuel, Boissonnat Jean-Daniel, Boldo Sylvie, Chazal Frédéric, Gioan Emeric, Martel Matthieu, Paul Christophe, Melquiond Guillaume, Ramirez Alfonsin Jorge, Vaux Lionel, Yvinec Mariette

Ouvrage: Presses Universitaires de Perpignan (2013) 283p.

--------------------
+ A non-uniform finitary relational semantics of System T doi link

Auteur(s): Vaux Lionel

(Article) Publié: Rairo - Theoretical Informatics And Applications (Rairo Ita), vol. 47 p.111 - 132 (2013)