The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Benjamin Werner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Benjamin Werner
    On the Strength of Proof-Irrelevant Type Theories. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:604-618 [Conf]
  2. Benjamin Grégoire, Laurent Théry, Benjamin Werner
    A Computational Approach to Pocklington Certificates in Type Theory. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:97-113 [Conf]
  3. Martín Abadi, Georges Gonthier, Benjamin Werner
    Choice in Dynamic Linking. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2004, pp:12-26 [Conf]
  4. Herman Geuvers, Benjamin Werner
    On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:320-329 [Conf]
  5. Gilles Dowek, Benjamin Werner
    Arithmetic as a Theory Modulo. [Citation Graph (0, 0)][DBLP]
    RTA, 2005, pp:423-437 [Conf]
  6. Benjamin Werner
    Sets in Types, Types in Sets. [Citation Graph (0, 0)][DBLP]
    TACS, 1997, pp:530-346 [Conf]
  7. Gilles Dowek, Benjamin Werner
    Proof Normalization Modulo. [Citation Graph (0, 0)][DBLP]
    TYPES, 1998, pp:62-77 [Conf]
  8. Paul-André Melliès, Benjamin Werner
    A Generic Normalisation Proof for Pure Type Systems. [Citation Graph (0, 0)][DBLP]
    TYPES, 1996, pp:254-276 [Conf]
  9. Alexandre Miquel, Benjamin Werner
    The Not So Simple Proof-Irrelevant Model of CC. [Citation Graph (0, 0)][DBLP]
    TYPES, 2002, pp:240-258 [Conf]
  10. Christine Paulin-Mohring, Benjamin Werner
    Synthesis of ML Programs in the System Coq. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:607-640 [Journal]
  11. François Garillot, Benjamin Werner
    Simple Types in Type Theory: Deep and Shallow Encodings. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2007, pp:368-382 [Conf]

  12. Importing HOL Light into Coq. [Citation Graph (, )][DBLP]


  13. On the strength of proof-irrelevant type theories [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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