Towards a proof theory of rewriting: the simply typed 2λ-calculus (1996)

by B Hilken
Venue:Theoretical Computer Science