Invertible terms in the lambda calculus
scientific article; zbMATH DE number 3697080