Barbara Petit

Publication Activity (10 Years)

Years Active: 2009-2014
Publications (10 Years): 0

Top Topics

Linear Complexity

Transfer Function

Multiresolution

Top Venues

Sci. Comput. Program.

École normale supérieure de Lyon, France (PHD)

Education History

École normale supérieure de Lyon, France

PHD

Publications

Ugo Dal Lago, Barbara Petit
Linear dependent types in a call-by-value scenario. Sci. Comput. Program. 84 (2014)
Ugo Dal Lago, Barbara Petit
The geometry of types. POPL (2013)
Ugo Dal Lago, Barbara Petit
Linear Dependent Types in a Call-by-Value Scenario (Long Version) CoRR (2012)
Ugo Dal Lago, Barbara Petit
The Geometry of Types (Long Version) CoRR (2012)
Ugo Dal Lago, Barbara Petit
Linear dependent types in a call-by-value scenario. PPDP (2012)
Alejandro Díaz-Caro, Barbara Petit
Linearity in the Non-deterministic Call-by-Value Setting. WoLLIC (2012)
Barbara Petit
A Categorical Model for the Lambda Calculus with Constructors CoRR (2012)
Barbara Petit
Semantics of Typed Lambda-Calculus with Constructors Log. Methods Comput. Sci. 7 (1) (2011)
Alejandro Díaz-Caro, Barbara Petit
Sums in linear algebraic lambda-calculus CoRR (2010)
Barbara Petit
A Polymorphic Type System for the Lambda-Calculus with Constructors. TLCA (2009)