Hugo Herbelin

	2009
19		Hugo Herbelin, Stéphane Zimmermann: An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. TLCA 2009: 142-156
18		Hugo Herbelin, Gyesik Lee: Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. WoLLIC 2009: 209-217
17		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009)
	2008
16		Hugo Herbelin, Silvia Ghilezan: An approach to call-by-name delimited continuations. POPL 2008: 383-394
15		Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini: A New Elimination Rule for the Calculus of Inductive Constructions. TYPES 2008: 32-48
14		Zena M. Ariola, Hugo Herbelin: Control reduction theories: the benefit of structural substitution. J. Funct. Program. 18(3): 373-419 (2008)
	2007
13		Pierre-Louis Curien, Hugo Herbelin: Abstract machines for dialogue games CoRR abs/0706.2544: (2007)
12		Zena M. Ariola, Hugo Herbelin, Amr Sabry: A proof-theoretic foundation of abortive continuations. Higher-Order and Symbolic Computation 20(4): 403-429 (2007)
	2005
11		Hugo Herbelin: On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic. TLCA 2005: 209-220
	2004
10		Zena M. Ariola, Hugo Herbelin, Amr Sabry: A type-theoretic foundation of continuations and prompts. ICFP 2004: 40-53
	2003
9		Zena M. Ariola, Hugo Herbelin: Minimal Classical Logic and Control Operators. ICALP 2003: 871-885
	2001
8		Hugo Herbelin: Explicit Substitutions and Reducibility. J. Log. Comput. 11(3): 431-451 (2001)
	2000
7		Pierre-Louis Curien, Hugo Herbelin: The duality of computation. ICFP 2000: 233-243
	1998
6		Pierre-Louis Curien, Hugo Herbelin: Computing with Abstract Böhm Trees. Fuji International Symposium on Functional and Logic Programming 1998: 20-39
	1997
5		Hugo Herbelin: Games and Weak-Head Reduction for Classical PCF. TLCA 1997: 214-230
	1996
4		Vincent Danos, Hugo Herbelin, Laurent Regnier: Game Semantics & Abstract Machines. LICS 1996: 394-405
	1994
3		Hugo Herbelin: A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. CSL 1994: 61-75
2		Thierry Coquand, Hugo Herbelin: A - Translation and Looping Combinators in Pure Type Systems. J. Funct. Program. 4(1): 77-88 (1994)
	1989
1		Michel Cosnard, Afonso Ferreira, Hugo Herbelin: The two list algorithm for the knapsack problem on a FPS T20. Parallel Computing 9(3): 385-388 (1989)

Coauthor Index

1	Zena M. Ariola	[9] [10] [12] [14]
2	Bruno Barras	[15]
3	Thierry Coquand	[2]
4	Pierre Corbineau	[15]
5	Michel Cosnard	[1]
6	Pierre-Louis Curien	[6] [7] [13]
7	Vincent Danos	[4]
8	Afonso Ferreira	[1]
9	Silvia Ghilezan	[16]
10	Benjamin Grégoire	[15]
11	Danko Ilik	[17]
12	Gyesik Lee	[17] [18]
13	Laurent Regnier	[4]
14	Amr Sabry	[10] [12]
15	Jorge Luis Sacchini	[15]
16	Stéphane Zimmermann	[19]

Colors in the list of coauthors