On functors expressible in the polymorphic typed lambda calculus
scientific article; zbMATH DE number 370443