perspective of a Modern Type Theory (MTT) with an adequate subtyp- ... An adjective (ADJ) can be interpreted as a predicate over the type that.
確定! 回上一頁