Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
scientific article; zbMATH DE number 3950487