Barbara Petit

According to our database, Barbara Petit authored at least 10 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Linear dependent types in a call-by-value scenario.

Ugo Dal Lago, Barbara Petit

Sci. Comput. Program., 2014

2013

The geometry of types.

Ugo Dal Lago, Barbara Petit

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

The Geometry of Types (Long Version)

Ugo Dal Lago, Barbara Petit

CoRR, 2012

Linear Dependent Types in a Call-by-Value Scenario (Long Version)

Ugo Dal Lago, Barbara Petit

CoRR, 2012

A Categorical Model for the Lambda Calculus with Constructors

Barbara Petit

CoRR, 2012

Linearity in the Non-deterministic Call-by-Value Setting.

Alejandro Díaz-Caro, Barbara Petit

Proceedings of the Logic, Language, Information and Computation, 2012

2011

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

Barbara Petit

PhD thesis, 2011

Semantics of Typed Lambda-Calculus with Constructors

Barbara Petit

Log. Methods Comput. Sci., 2011

2010

Sums in linear algebraic lambda-calculus

Alejandro Díaz-Caro, Barbara Petit

CoRR, 2010

2009

A Polymorphic Type System for the Lambda-Calculus with Constructors.

Barbara Petit

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009