@MISC{MSAFREE5.MIZ,
  AUTHOR = {Bancerek, Grzegorz},
  TITLE = {Term Context},
  SECTION1 = {Preliminaries},
  SECTION2 = {Constructing Terms},
  SECTION3 = {Construction Degree},
  SECTION4 = {Context},
  SECTION5 = {Context vs. Translations},
  SECTION6 = {Context vs. Endomorphism},
  DAY = {13},
  MONTH = {June},
  YEAR = {2014},
  ADDRESS1 = {Association of Mizar Users\\Bia{\l}ystok\\Poland},
  SUMMARY = {The degree of construction and term context are introduced.
  The translations and endomorphisms are expressed by context
  substitution.}}


