Unification des couleurs dans un $\lambda$-calcul polychrome

Bernard P. Serpette, Pascal Manoury, Emmanuel Chailloux. Unification des couleurs dans un $\lambda$-calcul polychrome. In Christine Tasson, David Baelde, editors, 25. Journées francophones des langages applicatifs, Fréjus, France, January 8-11, 2014. pages 65-76, 2014.

Authors

Bernard P. Serpette

This author has not been identified. Look up 'Bernard P. Serpette' in Google

Pascal Manoury

This author has not been identified. Look up 'Pascal Manoury' in Google

Emmanuel Chailloux

This author has not been identified. Look up 'Emmanuel Chailloux' in Google