Return to Article Details Church-Rosser property and intersection types Download Download PDF