Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and λ-Calculus

Cached

Download Links

by Jeroen Ketema , Jakob Grue Simonsen
Citations:1 - 0 self