Church-Rosser property and intersection types. - George Koletsos; George Stavrinos (Australas. J. Log., 2008)