Predicate Invariance

Formal properties of functions denoted by higher order anaphors like each other and syntactically complex expressions contain- ing each other are studied. A partial com- parison between these functions and …...