Church-Rosser Theorem for a rewriting system on categorical combinators (1989)

by Hirofumi Yokouchi
Venue:Theoretical Computer Science