• Publications
  • Influence

Claim Your Author Page
Ensure your research is discoverable on Semantic Scholar. Claiming your author page allows you to personalize the information displayed and manage your publications. Semantic Scholar automatically creates author pages based on data aggregated from public sources and our publisher partners.
  • Benjamin Werner
  • Philosophy, Computer Science
  • 1994 (First Publication: 2 May 1994)
  • L'objet de cette these est la meta-theorie du Calcul des Constructions Inductives (CCI), c'est a dire les Calcul des Constructions etendu par des types et des predicats inductifs. Le Calcul desExpand
  • Gilles Dowek, Benjamin Werner
  • Mathematics, Computer Science
  • RTA
  • 2005 (First Publication: 19 April 2005)
  • We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the structure of cut freeExpand
  • Benjamin Werner
  • Mathematics, Computer Science
  • TACS
  • 1997 (First Publication: 23 September 1997)
  • We present two mutual encodings, respectively of the Calculus of Inductive Constructions in Zermelo-Fraenkel set theory and the opposite way. More precisely, we actually construct two families ofExpand