Simple Type Theories with Abstract Clones - 42Papers