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

researchr

You are not signed in
Sign in
Sign up

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.

Abstract is missing.

runs on WebDSL