Viewing \({\lambda}\)-terms through maps
scientific article; zbMATH DE number 6339334