Report - Normal Forms in Combinatory Logicjohannp/ndjfl.pdf · Normal Forms in Combinatory Logic PATRICIA JOHANN Abstract Let R be a convergent term rewriting system, and let CR-equality on

Please pass captcha verification before submit form