`Travelled to:`

1 × Belgium

1 × Brazil

1 × Italy

`Collaborated with:`

U.D.Lago ∅

`Talks about:`

type (4) scenario (2) linear (2) depend (2) valu (2) call (2) constructor (1) polymorph (1) geometri (1) calculus (1)

## Person: Barbara Petit

### DBLP: Petit:Barbara

### Contributed to:

### Wrote 4 papers:

- POPL-2013-LagoP #geometry
- The geometry of types (UDL, BP), pp. 167–178.
- PPDP-2012-LagoP #call-by #dependent type #linear
- Linear dependent types in a call-by-value scenario (UDL, BP), pp. 115–126.
- PPDP-J-2012-LagoP14 #call-by #dependent type #linear
- Linear dependent types in a call-by-value scenario (UDL, BP), pp. 77–100.
- TLCA-2009-Petit #polymorphism #type system #λ-calculus
- A Polymorphic Type System for the λ-Calculus with Constructors (BP), pp. 234–248.