Structural properties of intersection types (bibtex)
by Emilie Sayag, Michel Mauny
Reference:
E. Sayag, M. Mauny, "Structural properties of intersection types", in Proceedings of the 8th International Conference on Logic and Computer Science -- Theoretical Foundations of Computing (LIRA), 1997, pp. 167-175.
Bibtex Entry:
@Inproceedings{Sayag-Mauny-1997,
  author =       {Emilie Sayag and Michel Mauny},
  title =        {Structural properties of intersection types},
  year =         1997,
  booktitle = {Proceedings of the 8th International Conference     
                  on Logic and Computer Science
                -- Theoretical Foundations of Computing (LIRA)},
  address =    {Novi Sad, Yugoslavia},
  pages =        {167--175},
  month =        sep,
  url={http://www.mauny.net/data/papers/sayag-mauny-1997.pdf}
}
Powered by bibtexbrowser