 | 2008 |
|---|
| 14 |       | Benjamin Werner:
On the strength of proof-irrelevant type theories
CoRR abs/0808.3928: (2008) |
| 13 | | Benjamin Werner:
On the Strength of Proof-irrelevant Type Theories.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 12 | | Franç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 |
| 10 | | Benjamin Grégoire,
Laurent Théry,
Benjamin Werner:
A Computational Approach to Pocklington Certificates in Type Theory.
FLOPS 2006: 97-113 |
| 9 | | Benjamin Werner:
On the Strength of Proof-Irrelevant Type Theories.
IJCAR 2006: 604-618 |
| 2005 |
|---|
| 8 | | Gilles Dowek,
Benjamin Werner:
Arithmetic as a Theory Modulo.
RTA 2005: 423-437 |
| 2004 |
|---|
| 7 | | Martín Abadi,
Georges Gonthier,
Benjamin Werner:
Choice in Dynamic Linking.
FoSSaCS 2004: 12-26 |
| 2002 |
|---|
| 6 | | Alexandre Miquel,
Benjamin Werner:
The Not So Simple Proof-Irrelevant Model of CC.
TYPES 2002: 240-258 |
| 1998 |
|---|
| 5 | | Gilles 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) |
