## Least upper bounds on the size of confluence and Church-Rosser diagrams in term rewriting and $$\lambda$$-calculus.(English)Zbl 1354.68143

### MSC:

 68Q42 Grammars and rewriting systems 03B40 Combinatory logic and lambda calculus 03D20 Recursive functions and relations, subrecursive hierarchies
Full Text: