Pedagogical second-order \(\lambda \)-calculus
scientific article; zbMATH DE number 5612512