mybib.bib

@inproceedings{Petit09,
  author = {Barbara Petit},
  title = {A Polymorphic Type System for the Lambda-Calculus with Constructors},
  booktitle = {Typed Lambda Calculus and Applications},
  series = {Lecture Notes in Computer Science},
  volume = 5608,
  year = 2009,
  pages = {234-248},
  note = {(Best student paper award)}
}

@article{Petit11,
  author = {Barbara Petit},
  title = {Semantics of Typed Lambda-Calculus with Constructors},
  journal = {Logical Methods in Computer Science},
  volume = {7},
  number = {2},
  year = {2011},
  url = {http://arxiv.org/pdf/1009.3429}
}

@misc{Petit12,
  author = {Barbara Petit},
  title = {Continuation models for the lambda calculus with constructors},
  note = {To appear in Mathematical Foundations of Programming Semantics},
  year = 2012,
  url = {http://www.math.tulane.edu/~mfps/MFPS28/MFPS28/Proceedings.html}
}

@misc{JanoBar12,
  author = {Alejandro Diaz-Caro and
               Barbara Petit},
  title = {Linearity in the non-deterministic Call-by-value setting},
  year = 2012,
  note = {To appear in Wollic'2012 Proceedings},
  url = {http://arxiv.org/abs/1011.3542}
}

@unpublished{Petit12b,
  author = {Barbara Petit},
  title = {A Categorical Model for the Lambda Calculus with Constructors},
  year = 2012,
  url = {http://arxiv.org/abs/1202.467}
}

@misc{DalLagoPetit12,
  author = {Ugo Dal Lago and
               Barbara Petit},
  title = {Linear Dependent Types in a Call-by-Value Scenario},
  year = 2012,
  note = {Submitted},
  url = {http://www.cs.unibo.it/~dallago/ldtcbv.pdf}
}

This file was generated by bibtex2html 1.97.