Hugo Herbelin

	2012
26		Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin: Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. FLOPS 2012: 32-46
	2011
25		Zena M. Ariola, Hugo Herbelin, Alexis Saurin: Classical Call-by-Need and Duality. TLCA 2011: 27-44
	2010
24		Vincent Siles, Hugo Herbelin: Equality Is Typable in Semi-full Pure Type Systems. LICS 2010: 21-30
23		Hugo Herbelin: An Intuitionistic Logic that Proves Markov's Principle. LICS 2010: 50-56
22		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke models for classical logic. Ann. Pure Appl. Logic 161(11): 1367-1378 (2010)
	2009
21		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
20		Hugo Herbelin, Gyesik Lee: Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. WoLLIC 2009: 209-217
19		Danko Ilik, Gyesik Lee, Hugo Herbelin: Kripke Models for Classical Logic CoRR abs/0904.0071: (2009)
18		Zena M. Ariola, Hugo Herbelin, Amr Sabry: A type-theoretic foundation of delimited continuations. Higher-Order and Symbolic Computation 22(3): 233-273 (2009)
17		Jim Allen, Zena M. Ariola, Pierre-Louis Curien, Matthew Fluet, Jeff Foster, Dan Grossman, Robert Harper, Hugo Herbelin, Yannis Smaragdakis, David Walker, Steve Zdancewic: An overview of the Oregon programming languages summer school. SIGPLAN Notices 44(11): 1-3 (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	Jim Allen	[17]
2	Zena M. Ariola	[9] [10] [12] [14] [17] [18] [25] [26]
3	Bruno Barras	[15]
4	Thierry Coquand	[2]
5	Pierre Corbineau	[15]
6	Michel Cosnard	[1]
7	Pierre-Louis Curien	[6] [7] [13] [17]
8	Vincent Danos	[4]
9	Paul Downen	[26]
10	Afonso Ferreira	[1]
11	Matthew Fluet	[17]
12	Jeff Foster	[17]
13	Silvia Ghilezan	[16]
14	Benjamin Grégoire	[15]
15	Dan Grossman	[17]
16	Robert Harper	[17]
17	Danko Ilik	[19] [22]
18	Gyesik Lee	[19] [20] [22]
19	Keiko Nakata	[26]
20	Laurent Regnier	[4]
21	Amr Sabry	[10] [12] [18]
22	Jorge Luis Sacchini	[15]
23	Alexis Saurin	[25] [26]
24	Vincent Siles	[24]
25	Yannis Smaragdakis	[17]
26	David Walker	[17]
27	Steve Zdancewic	[17]
28	Stéphane Zimmermann	[21]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page