Barbara Petit
According to our database1,
Barbara Petit
authored at least 10 papers
between 2009 and 2014.
Collaborative distances:
Collaborative distances:
Timeline
2009
2010
2011
2012
2013
2014
0
1
2
3
4
5
1
3
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2014
2013
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013
2012
Proceedings of the Logic, Language, Information and Computation, 2012
2011
On the lambda calculus with constructors. (Autour du lambda-calcul avec constructeurs).
PhD thesis, 2011
2010
2009
Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009