In this paper we discuss the semantics of adjectives from the perspective of a Modern Type Theory (MTT) with an adequate subtyping mechanism.
確定! 回上一頁