| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 6 |      | Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang: CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. LICS 2011: 143-151 |
| 2008 | ||
| 5 | | Bruno Barras, Bruno Bernardo: The Implicit Calculus of Constructions as a Programming Language with Dependent Types. FoSSaCS 2008: 365-379 |
| 4 | | Bruno Barras, Pierre Corbineau, Benjamin Grégoire, Hugo Herbelin, Jorge Luis Sacchini: A New Elimination Rule for the Calculus of Inductive Constructions. TYPES 2008: 32-48 |
| 2005 | ||
| 3 | | 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 | [5] |
| 2 | Pierre Corbineau | [4] |
| 3 | Benjamin Grégoire | [3] [4] |
| 4 | Hugo Herbelin | [4] |
| 5 | Jean-Pierre Jouannaud | [6] |
| 6 | Jorge Luis Sacchini | [4] |
| 7 | Pierre-Yves Strub | [6] |
| 8 | Qian Wang | [6] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page