The Expansion Postponement in Pure Type Systems

Song Fangmin. The Expansion Postponement in Pure Type Systems[J]. Journal of Computer Science and Technology, 1997, 12(6): 555-563.

Citation:

Song Fangmin. The Expansion Postponement in Pure Type Systems[J]. Journal of Computer Science and Technology, 1997, 12(6): 555-563.

Citation:

Song Fangmin. The Expansion Postponement in Pure Type Systems[J]. Journal of Computer Science and Technology, 1997, 12(6): 555-563.

Abstract

The expansion postponement problem in Pure Type Systems is an open problem raised by R. Pollack in 1992. In this paper, the author presents a set of necessary and sufficient conditions for this problem and a set of sufficient conditions for it. The author also gives some properties for pure type systems without the expansion rule.

FullText(HTML)

Export File