  This is a presentation of explicit methods to construct higher local class
field theory by using topological K-groups, explicit symbols and a
generalization of Neukirch-Hazewinkel's axiomatic approaches. The existence
theorem is discussed as well.
