Search the dblp DataBase

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]