Pattern matching as cut elimination
scientific article; zbMATH DE number 2105256
scientific article