Source: wikibot/church-rosser-theorem

= Church–Rosser theorem
{wiki=Church–Rosser_theorem}

Back to article page