Caractérisation des types principaux des formes normales dans le système des types avec intersections (bibtex)
by Emilie Sayag, Michel Mauny
Reference:
E. Sayag, M. Mauny, "Caractérisation des types principaux des formes normales dans le système des types avec intersections", 1995.
Bibtex Entry:
@misc{Sayag-Mauny-1995,
  author =       {Emilie Sayag and Michel Mauny},
  title =        {Caractérisation des types principaux des formes
                  normales dans le système des types avec intersections},
  note =         {Journées du GDR Programmation},
  year =         1995,
  month =        nov
}
Powered by bibtexbrowser