Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus
scientific article; zbMATH DE number 984758
scientific article