An axiomatization of predicate functor logic
scientific article; zbMATH DE number 3726348