`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:

### Wrote 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.