Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation
scientific article; zbMATH DE number 5987966
scientific article