A Polymorphic Type System for the Lambda-Calculus with Constructors. - Barbara Petit (TLCA, 2009)

Sums in linear algebraic lambda-calculus - Alejandro Díaz-Caro; Barbara Petit (CoRR, 2010)

Semantics of Typed Lambda-Calculus with Constructors - Barbara Petit (Log. Methods Comput. Sci., 2011)

On the lambda calculus with constructors. (Autour du lambda-calcul avec constructeurs). - Barbara Petit (2011)

Linearity in the Non-deterministic Call-by-Value Setting. - Alejandro Díaz-Caro; Barbara Petit (WoLLIC, 2012)

A Categorical Model for the Lambda Calculus with Constructors - Barbara Petit (CoRR, 2012)

Linear Dependent Types in a Call-by-Value Scenario (Long Version) - Ugo Dal Lago; Barbara Petit (CoRR, 2012)

The Geometry of Types (Long Version) - Ugo Dal Lago; Barbara Petit (CoRR, 2012)

The geometry of types. - Ugo Dal Lago; Barbara Petit (POPL, 2013)

Linear dependent types in a call-by-value scenario. - Ugo Dal Lago; Barbara Petit (Sci. Comput. Program., 2014)