@unpublished{ia-rep,
  author = {Samuel Mimram},
  title = {{Innocence asynchrone}},
  note = {Master thesis report},
  year = {2005},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_m2.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/mimram_m2_slides.pdf},
  keywords = {report}
}

@unpublished{catfamdec,
  author = {Samuel Mimram},
  title = {{Décidabilité de l'égalité dans les catégories avec familles}},
  note = {Master 2 internship},
  year = {2004},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/report.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/presentation2.pdf},
  keywords = {report}
}

@unpublished{jcjc,
  author = {Samuel Mimram},
  title = {{JoCaml et le join-calcul}},
  note = {Report for master 1 course},
  year = {2003},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/join.pdf},
  slides = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/join_slides.pdf},
  keywords = {report}
}

@unpublished{rapls,
  author = {Samuel Mimram},
  title = {{Recherche automatique de preuves dans une logique spatiale sur le π-calcul}},
  note = {MIM1 internship},
  year = {2002},
  pdf = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/rapport.pdf},
  slide = {http://www.lix.polytechnique.fr/Labo/Samuel.Mimram/docs/presentation.pdf},
  keywords = {report}
}