Positive logic and \(\lambda\)-constants
scientific article; zbMATH DE number 3609631