Barbara Petit

Identifiers

• name variant Barbara Petit 0.60 · backfill

Papers (4)

1. The Geometry of Types (Long Version) cs.LO · 2012 · author #2
2. Linear Dependent Types in a Call-by-Value Scenario (Long Version) cs.LO · 2012 · author #2
3. A Categorical Model for the Lambda Calculus with Constructors cs.LO · 2012 · author #1
4. Linearity in the non-deterministic call-by-value setting cs.LO · 2010 · author #2

Mentions

• 1210.6857 #2 · backfill · confidence 0.70 Barbara Petit
• 1207.5592 #2 · backfill · confidence 0.70 Barbara Petit
• 1202.4678 #1 · backfill · confidence 0.70 Barbara Petit
• 1011.3542 #2 · backfill · confidence 0.70 Barbara Petit

Frequent Coauthors

• Ugo Dal Lago 2 shared papers
• Alejandro D\'iaz-Caro 1 shared papers