The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Hugo Herbelin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hugo Herbelin
    A Lambda-Calculus Structure Isomorphic to Gentzen-Style Sequent Calculus Structure. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:61-75 [Conf]
  2. Pierre-Louis Curien, Hugo Herbelin
    Computing with Abstract Böhm Trees. [Citation Graph (0, 0)][DBLP]
    Fuji International Symposium on Functional and Logic Programming, 1998, pp:20-39 [Conf]
  3. Zena M. Ariola, Hugo Herbelin
    Minimal Classical Logic and Control Operators. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:871-885 [Conf]
  4. Zena M. Ariola, Hugo Herbelin, Amr Sabry
    A type-theoretic foundation of continuations and prompts. [Citation Graph (0, 0)][DBLP]
    ICFP, 2004, pp:40-53 [Conf]
  5. Pierre-Louis Curien, Hugo Herbelin
    The duality of computation. [Citation Graph (0, 0)][DBLP]
    ICFP, 2000, pp:233-243 [Conf]
  6. Vincent Danos, Hugo Herbelin, Laurent Regnier
    Game Semantics & Abstract Machines. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:394-405 [Conf]
  7. Hugo Herbelin
    On the Degeneracy of Sigma-Types in Presence of Computational Classical Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:209-220 [Conf]
  8. Hugo Herbelin
    Games and Weak-Head Reduction for Classical PCF. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:214-230 [Conf]
  9. Thierry Coquand, Hugo Herbelin
    A - Translation and Looping Combinators in Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1994, v:4, n:1, pp:77-88 [Journal]
  10. Hugo Herbelin
    Explicit Substitutions and Reducibility. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:3, pp:431-451 [Journal]
  11. Michel Cosnard, Afonso Ferreira, Hugo Herbelin
    The two list algorithm for the knapsack problem on a FPS T20. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 1989, v:9, n:3, pp:385-388 [Journal]
  12. Pierre-Louis Curien, Hugo Herbelin
    Abstract machines for dialogue games [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  13. Equality Is Typable in Semi-full Pure Type Systems. [Citation Graph (, )][DBLP]


  14. An Intuitionistic Logic that Proves Markov's Principle. [Citation Graph (, )][DBLP]


  15. An approach to call-by-name delimited continuations. [Citation Graph (, )][DBLP]


  16. An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. [Citation Graph (, )][DBLP]


  17. A New Elimination Rule for the Calculus of Inductive Constructions. [Citation Graph (, )][DBLP]


  18. Forcing-Based Cut-Elimination for Gentzen-Style Intuitionistic Sequent Calculus. [Citation Graph (, )][DBLP]


  19. Kripke Models for Classical Logic [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002