托比亚斯·尼普科 温斯克尔(几乎)是对的:走向机械化语义教科书。 (英语) Zbl 0910.68138号 正式Asp。计算。 10,第2期,171-186(1998). 引用于18文件 MSC公司: 68问题55 计算理论中的语义学 关键词:命令式编程语言 软件:伊莎贝尔;伊莎贝尔/HOL;哈斯克尔 PDF格式BibTeX公司 XML格式引用 \textit{T.Nipkow},正式Asp。计算。10,第2号,171--186(1998;Zbl 0910.68138) 全文: 内政部