De Bruijn's syntax and reductional behaviour of \(\lambda\)-terms: The typed case
scientific article; zbMATH DE number 2136082
scientific article