Alain Prouté

Church-Rosser property and homology of monoids ∗ ( revised version )

Y. Lafont, Alain Prouté, 2011 .

Church-Rooser property and homology of monoids

Yves Lafont, Alain Prouté, Y. Lafont, 1991, Mathematical Structures in Computer Science.

Brown's natural twisting cochain and the Eilenberg-Mac Lane transformation

Alain Prouté, F. Morace, 1994 .