作者: Gennaro Chierchia , Raymond Turner
DOI: 10.1007/BF00632905
关键词: Action semantics 、 Formal semantics (linguistics) 、 Proof-theoretic semantics 、 Operational semantics 、 Computer science 、 Computational semantics 、 Well-founded semantics 、 Philosophy of language 、 Denotational semantics 、 Programming language 、 Linguistics
摘要: