Church-Rosser Property and Homology of Monoids. - Yves Lafont; Alain Prouté (Math. Struct. Comput. Sci., 1991)

On the dependent conjunction and implication. - Matthieu Herrmann; Alain Prouté (CoRR, 2016)