经典好书《Formal Semantics of Programming Languages》读书内容简介:f Programming Languages provides the basic mathematical techniques necessary for those who are beginning a study of the seman...详情

经典好书《Semantics in Generative Grammar》读书内容简介: Written by two of the leading figures in the field, this is a lucid and systematic introduction to formal semantics.作者简介详情