@Unpublished{Laurent05note,
  author = {Olivier Laurent},
  title  = {Intersection types with subtyping by means of cut-elimination},
  note   = {Unpublished note},
  month  = jan,
  year   = {2005}
}