@Unpublished{Laurent12note,
  author = {Olivier Laurent},
  title  = {A syntactic introduction to intersection types},
  note   = {Unpublished note},
  month  = avr,
  year   = {2012}
}