
Search the dblp DataBase
Benjamin Werner:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Benjamin Werner
On the Strength of ProofIrrelevant Type Theories. [Citation Graph (0, 0)][DBLP] IJCAR, 2006, pp:604618 [Conf]
 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:97113 [Conf]
 Martín Abadi, Georges Gonthier, Benjamin Werner
Choice in Dynamic Linking. [Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:1226 [Conf]
 Herman Geuvers, Benjamin Werner
On the ChurchRosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study [Citation Graph (0, 0)][DBLP] LICS, 1994, pp:320329 [Conf]
 Gilles Dowek, Benjamin Werner
Arithmetic as a Theory Modulo. [Citation Graph (0, 0)][DBLP] RTA, 2005, pp:423437 [Conf]
 Benjamin Werner
Sets in Types, Types in Sets. [Citation Graph (0, 0)][DBLP] TACS, 1997, pp:530346 [Conf]
 Gilles Dowek, Benjamin Werner
Proof Normalization Modulo. [Citation Graph (0, 0)][DBLP] TYPES, 1998, pp:6277 [Conf]
 PaulAndré Melliès, Benjamin Werner
A Generic Normalisation Proof for Pure Type Systems. [Citation Graph (0, 0)][DBLP] TYPES, 1996, pp:254276 [Conf]
 Alexandre Miquel, Benjamin Werner
The Not So Simple ProofIrrelevant Model of CC. [Citation Graph (0, 0)][DBLP] TYPES, 2002, pp:240258 [Conf]
 Christine PaulinMohring, 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:607640 [Journal]
 François Garillot, Benjamin Werner
Simple Types in Type Theory: Deep and Shallow Encodings. [Citation Graph (0, 0)][DBLP] TPHOLs, 2007, pp:368382 [Conf]
Importing HOL Light into Coq. [Citation Graph (, )][DBLP]
On the strength of proofirrelevant type theories [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
