Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Werner, Benjamin - INRIA & Laboratoire d’Informatique, École Polytechnique
Simple Types in Type Theory: deep and shallow Franois Garillot1
ON THE STRENGTH OF PROOF-IRRELEVANT TYPE THEORIES BENJAMIN WERNER
Arithmetic as a theory modulo Gilles Dowek and Benjamin Werner
PROOF NORMALIZATION MODULO GILLES DOWEK AND BENJAMIN WERNER
A computational approach to Pocklington certicates in type theory
On the strength of proof-irrelevant type theories Benjamin Werner
The not so simple proof-irrelevant model of CC Alexandre Miquel1
