Hugo Herbelin

发表

Hugo Herbelin, 2012, 2012 27th Annual IEEE Symposium on Logic in Computer Science.
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Hugo Herbelin, Zena M. Ariola, 2008, J. Funct. Program..
Andrej Bauer, Robert Harper, Thierry Coquand, 2013, ArXiv.
Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau, 2014, TYPES.
Hugo Herbelin, Gyesik Lee, Hugo Herbelin, 2009, WoLLIC.
Benjamin Grégoire, Pierre Corbineau, Hugo Herbelin, 2008, TYPES.
Hugo Herbelin, 2013, TLCA.
Hugo Herbelin, 2015, Math. Struct. Comput. Sci..
Afonso Ferreira, Michel Cosnard, Hugo Herbelin, 1989, Parallel Comput..
Vincent Danos, Hugo Herbelin, Laurent Regnier, 1996, LICS 1996.
Benjamin Grégoire, Enrico Tassi, Yann Régis-Gianas, 2014 .
Hugo Herbelin, Pierre-Louis Curien, 2007, ArXiv.
Hugo Herbelin, Jean-Christophe Filliâtre, Cristina Cornes, 1997 .
Hugo Herbelin, Hugo Herbelin, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Hugo Herbelin, Vincent Siles, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Alexis Saurin, Hugo Herbelin, Zena M. Ariola, 2012, FLOPS.
Hugo Herbelin, Silvia Ghilezan, Hugo Herbelin, 2008, POPL '08.
Hugo Herbelin, Arnaud Spiwack, 2013, TYPES.
Alexis Saurin, Hugo Herbelin, Zena M. Ariola, 2011, TLCA.
Amr Sabry, Hugo Herbelin, Zena M. Ariola, 2004, ICFP '04.
Hugo Herbelin, Pierre-Louis Curien, Hugo Herbelin, 1998, Fuji International Symposium on Functional and Logic Programming.
Gilles Dowek, Jean-Pierre Jouannaud, Ian Mackie, 2005 .
Hugo Herbelin, Vincent Siles, 2012, J. Funct. Program..
Hugo Herbelin, Gérard P. Huet, G. Huet, 2014, POPL.
Amr Sabry, Hugo Herbelin, Zena M. Ariola, 2007, High. Order Symb. Comput..
Jean-Pierre Jouannaud, Pierre-Yves Strub, César Muñoz, 2006 .
Burkhart Wolff, Enrico Tassi, Yann Régis-Gianas, 2013, MKM/Calculemus/DML.
Hugo Herbelin, Zena M. Ariola, Z. M. Ariola, 2003, ICALP.
Amr Sabry, Hugo Herbelin, Zena M. Ariola, 2009, High. Order Symb. Comput..
Amr Sabry, Hugo Herbelin, Zena M. Ariola, 2006 .
Thierry Coquand, Hugo Herbelin, 1994, J. Funct. Program..
Hugo Herbelin, Gyesik Lee, Danko Ilik, 2009, Ann. Pure Appl. Log..
Dan Grossman, David Walker, Yannis Smaragdakis, 2010, SIGP.
Amy P. Felty, Hugo Herbelin, Christine Paulin-Mohring, 1990 .
Jean-Louis Krivine, Hugo Herbelin, Pierre-Louis Curien, 2009 .
Vincent Danos, Laurent Regnier, Hugo Herbelin, 1996 .
Hugo Herbelin, Pierre-Louis Curien, Hugo Herbelin, 2000, ICFP '00.
Hugo Herbelin, 2001, J. Log. Comput..
Hugo Herbelin, Nuria Brede, 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Alexis Saurin, Hugo Herbelin, 2009 .