| |
| 2008 | ||
|---|---|---|
| 4 | EE | Bruno Barras, Bruno Bernardo: The Implicit Calculus of Constructions as a Programming Language with Dependent Types. FoSSaCS 2008: 365-379 |
| 2005 | ||
| 3 | EE | Bruno Barras, Benjamin Grégoire: On the Role of Type Decorations in the Calculus of Inductive Constructions. CSL 2005: 151-166 |
| 2000 | ||
| 2 | Bruno Barras: Programming and Computing in HOL. TPHOLs 2000: 17-37 | |
| 1996 | ||
| 1 | Bruno Barras: Verification of the Interface of a Small Proof System in Coq. TYPES 1996: 28-45 | |
| 1 | Bruno Bernardo | [4] |
| 2 | Benjamin Grégoire | [3] |