The simplest naming system is a global or … o \in O there exists n \in N … Given O as above, a more general system … each O_i, let there be a function C_i^0 … The C_i^0 are called contexts. … Names can thus be said to be local, … The question then is how is a context … [which yields a hierarchical, contextual naming system].
Google-1
Google-2
Copyright clearance needed for quotation.