This paper studies how dependent typed events can be used to treat verb phrase anaphora. We introduce a framework that extends Dependent Type ...
確定! 回上一頁