Searching for authors named "Bruno Barras" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

On the role of type decorations in the Calculus of Inductive Constructions
by Bruno Barras, Benjamin Gregoire — 2005 — Proceedings of the 19th Annual Conference of the European Association for Computer Science Logic, volume 3634 of Lecture Notes in Computer Science
…On the role of type decorations in the Calculus of Inductive Constructions Bruno Barras 1…
Cited by 2 (0 self) – Add To MetaCart

Coq in Coq
by Bruno Barras, Benjamin Werner — 1997
…Coq in Coq Bruno Barras and Benjamin Werner INRIA-Rocquencourt (Received ..... ; Accepted…
Cited by 1 (0 self) – Add To MetaCart

The Coq Proof Assistant - Reference Manual Version 6.1
by Jean-Christophe Filliâtre, Hugo Herbelin, Bruno Barras, Bruno Barras, Samuel Boutin, Eduardo Giménez, Samuel Boutin, Gérard Huet, César Muñoz, Cristina Cornes, Cristina Cornes, Judicaël Courant, Judicael Courant, Chetan Murthy, Chetan Murthy, Catherine Parent, Catherine Parent, Christine Paulin-mohring, Christine Paulin-mohring, Amokrane Saibi, Amokrane Saibi, Benjamin Werner, Benjamin Werner — 1997
… The Coq Proof Assistant Reference Manual Version 6.1 Bruno Barras, Samuel Boutin, Cristina Cornes…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB