Label-selective \(\lambda\)-calculus syntax and confluence
scientific article; zbMATH DE number 983984
scientific article