Rechercher

Guillaume Burel

Maître de Conférences
Equipe CPR
Parti depuis le 01/02/2016
Mail : guillaume.burelensiie.fr
Tel : 01 69 36 73 70
http://www.ensiie.fr/~guillaume.burel/

Projets

Publications

2015

2014

    Conférence Internationale avec comité de lecture

  • [Bur14] G. Burel. "Cut Admissibility by Saturation", Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, July 2014, Vol. 8560, pp.124-138, Series LNCS, Vienna, Austria, (DOI: 10.1007/978-3-319-08918-8_9)

2013

2012

2011