Report - Confluent Reductions: Abstract Properties and Applications ...rwh/courses/chtt/pdfs/huetcrs.pdfGI~RARD HUET LEMMA 2.2 If --~ is confluent, then the normal form of any element, if it

Please pass captcha verification before submit form