Travelled to:1 × Canada
1 × Hungary
1 × Italy
1 × United Kingdom
Collaborated with:Q.Wang B.Bernardo B.Grégoire B.Accattoli J.Jouannaud P.Strub
Talks about:theori (4) type (4) construct (2) calculus (2) order (2) decid (2) intension (1) hierarchi (1) parametr (1) implicit (1)
Person: Bruno Barras
DBLP: Barras:Bruno
Contributed to:
2013
2011
20082005
2017Wrote 5 papers:
- CSL-2013-WangB #decidability #equation #semantics #type system
- Semantics of Intensional Type Theory extended with Decidable Equational Theories (QW, BB), pp. 653–667.
- LICS-2011-BarrasJSW #decidability #first-order #higher-order #named #type system
- CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory (BB, JPJ, PYS, QW), pp. 143–151.
- FoSSaCS-2008-BarrasB #calculus #dependent type #programming language
- The Implicit Calculus of Constructions as a Programming Language with Dependent Types (BB, BB), pp. 365–379.
- CSL-2005-BarrasG #calculus #induction #on the
- On the Role of Type Decorations in the Calculus of Inductive Constructions (BB, BG), pp. 151–166.
- PPDP-2017-AccattoliB #automaton #complexity
- Environments and the complexity of abstract machines (BA, BB), pp. 4–16.