External and internal syntax of the \(\lambda \)-calculus
scientific article; zbMATH DE number 5704034
scientific article