形式语义学要素2018.8(荷) 约德·温特 (Yoad Winter) , 著 形式语义学引论2017.6周巢尘, 詹乃军, 著 形式语义学2012.9杨静, 杨华, 杨溢龙, 段国勇, 朱浩, 杨嵩, 编著 形式语义学导论2010.4(英) 卡恩, 著 形式语义学研究2014.8高芸, 著 形式语义学基础与形式说明2010.屈延文, 编著 编程语言的形式语义学2003.(英) 温斯克尔 (Winskel,G.) , 著 语义学2013.4(新西兰) 科恩 (Kearns,K.) , 著 语义学2015.6(新西兰) 科恩 (Kearns,K.) , 著 语义学2006.09刘世理, 编著 语义学2004.何英玉, 编 语义学2012.(英) 考伊 (Cowie,A.P.) , 著 语义学2016.(新西兰) 凯特·卡恩斯 (Kate Kearns) , 著 认知语义学2017.9(美) 伦纳德·泰尔米 (Leonard Talmy) , 著 认知语义学2008.束定芳, 编著