Frédérique Guilhot
发表
Loïc Pottier,
Yves Bertot,
Frédérique Guilhot,
2004,
Electron. Notes Theor. Comput. Sci..
Stephen M. Watt,
Loïc Pottier,
Yves Bertot,
2003
.
Assia Mahboubi,
Yves Bertot,
Frédérique Guilhot,
2011,
Mathematical Structures in Computer Science.
Frédérique Guilhot,
F. Guilhot,
2005,
Tech. Sci. Informatiques.