dblp.uni-trier.dewww.uni-trier.de

Benjamin Werner Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
14EEBenjamin Werner: On the strength of proof-irrelevant type theories CoRR abs/0808.3928: (2008)
13EEBenjamin Werner: On the Strength of Proof-irrelevant Type Theories. Logical Methods in Computer Science 4(3): (2008)
2007
12EEFrançois Garillot, Benjamin Werner: Simple Types in Type Theory: Deep and Shallow Encodings. TPHOLs 2007: 368-382
2006
11 Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner: Types for Proofs and Programs, International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers Springer 2006
10EEBenjamin Grégoire, Laurent Théry, Benjamin Werner: A Computational Approach to Pocklington Certificates in Type Theory. FLOPS 2006: 97-113
9EEBenjamin Werner: On the Strength of Proof-Irrelevant Type Theories. IJCAR 2006: 604-618
2005
8EEGilles Dowek, Benjamin Werner: Arithmetic as a Theory Modulo. RTA 2005: 423-437
2004
7EEMartín Abadi, Georges Gonthier, Benjamin Werner: Choice in Dynamic Linking. FoSSaCS 2004: 12-26
2002
6EEAlexandre Miquel, Benjamin Werner: The Not So Simple Proof-Irrelevant Model of CC. TYPES 2002: 240-258
1998
5EEGilles Dowek, Benjamin Werner: Proof Normalization Modulo. TYPES 1998: 62-77
1997
4 Benjamin Werner: Sets in Types, Types in Sets. TACS 1997: 530-346
1996
3 Paul-André Melliès, Benjamin Werner: A Generic Normalisation Proof for Pure Type Systems. TYPES 1996: 254-276
1994
2 Herman Geuvers, Benjamin Werner: On the Church-Rosser Property for Expressive Type Systems and its Consequences for their Metatheoretic Study LICS 1994: 320-329
1993
1 Christine Paulin-Mohring, Benjamin Werner: Synthesis of ML Programs in the System Coq. J. Symb. Comput. 15(5/6): 607-640 (1993)

Coauthor Index

1Martín Abadi [7]
2Gilles Dowek [5] [8]
3Jean-Christophe Filliâtre [11]
4François Garillot [12]
5Herman Geuvers [2]
6Georges Gonthier [7]
7Benjamin Grégoire [10]
8Paul-André Melliès [3]
9Alexandre Miquel [6]
10Christine Paulin-Mohring [1] [11]
11Laurent Théry [10]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)