Unification des couleurs dans un $łambda$-calcul polychrome. Serpette, B. P., Manoury, P., & Chailloux, E. In Tasson, C. & Baelde, D., editors, JFLA, pages 65-76, 2014.
Unification des couleurs dans un $łambda$-calcul polychrome. [link]Paper  bibtex   
@inproceedings{ conf/jfla/SerpetteMC14,
  added-at = {2014-11-28T00:00:00.000+0100},
  author = {Serpette, Bernard P. and Manoury, Pascal and Chailloux, Emmanuel},
  biburl = {http://www.bibsonomy.org/bibtex/28668f16f249429209678729cbc73da25/dblp},
  booktitle = {JFLA},
  crossref = {conf/jfla/2014},
  editor = {Tasson, Christine and Baelde, David},
  interhash = {535a963b50fa5f8ac9d835570201b84d},
  intrahash = {8668f16f249429209678729cbc73da25},
  keywords = {dblp},
  pages = {65-76},
  title = {Unification des couleurs dans un $łambda$-calcul polychrome.},
  url = {http://dblp.uni-trier.de/db/conf/jfla/jfla2014.html#SerpetteMC14},
  year = {2014}
}

Downloads: 0