Bruno Barras
发表
Beniamino Accattoli,
Bruno Barras,
2017,
PPDP.
Andrej Bauer,
Robert Harper,
Thierry Coquand,
2013,
ArXiv.
Benjamin Grégoire,
Pierre Corbineau,
Hugo Herbelin,
2008,
TYPES.
Bruno Barras,
David Vigilant,
Maria Christofi,
2017,
Journal of Cryptographic Engineering.
Benjamin Grégoire,
Bruno Barras,
2005,
CSL.
Bruno Barras,
Bruno Barras,
2010,
J. Formaliz. Reason..
Jean-Pierre Jouannaud,
Qian Wang,
Pierre-Yves Strub,
2011,
2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Hugo Herbelin,
Jean-Christophe Filliâtre,
Cristina Cornes,
1997
.
Denis Cousineau,
Guillaume Burel,
Gilles Dowek,
2009
.
Bruno Barras,
Bruno Bernardo,
2008,
FoSSaCS.
Bruno Barras,
2000,
TPHOLs.
Bruno Barras,
Valentin Maestracci,
2021,
ArXiv.
Gilles Dowek,
Jean-Pierre Jouannaud,
Ian Mackie,
2005
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
César Muñoz,
2006
.
Burkhart Wolff,
Enrico Tassi,
Yann Régis-Gianas,
2013,
MKM/Calculemus/DML.
Beniamino Accattoli,
Bruno Barras,
2017,
APLAS.
Bruno Barras,
Bruno Barras,
1996,
TYPES.
Enrico Tassi,
Bruno Barras,
Carst Tankink,
2015,
ITP.
Qian Wang,
Bruno Barras,
Qian Wang,
2013,
CSL.
Thierry Coquand,
Simon Huber,
Bruno Barras,
2013
.