PER MODEL OF TYPE SYSTEM λω× ≤

ZHOU Xiaocong, LI Wenjun, LI Shixian. PER MODEL OF TYPE SYSTEM λω× ≤J. Journal of Computer Research and Development, 2000, 37(8): 1006-1011.

Citation:

ZHOU Xiaocong, LI Wenjun, LI Shixian. PER MODEL OF TYPE SYSTEM λω× ≤J. Journal of Computer Research and Development, 2000, 37(8): 1006-1011.

Citation:

ZHOU Xiaocong, LI Wenjun, LI Shixian. PER MODEL OF TYPE SYSTEM λω× ≤J. Journal of Computer Research and Development, 2000, 37(8): 1006-1011.

Abstract

In 1, a type system λω× ≤ is proposed and studied, which is obtained by extending the type system λω × in 2 with subtyping and bounded quantification. λω× ≤ differs from those extensions of system F in distinguishing operator context, and subtyping context from term context. In this paper, the PER model of λω× ≤ is studied as its semantic model and the soundness of the PER model is discussed.

FullText(HTML)

Turn off MathJax

Article Contents

Export File