Lars Birkedal公司;罗伊斯,伯恩哈德;施温哈默(Jan Schwinghammer);克里斯蒂安·斯特夫林;雅各布·塔姆斯堡;Yang,宏石 递归世界上的阶跃Kripke模型。 (英语) Zbl 1284.68102号 2011年1月26日至28日,美国德克萨斯州奥斯汀,POPL'11,第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-0490-0)。119-132 (2011). 引用于11文件 MSC公司: 68甲15 编程语言理论 03B70号 计算机科学中的逻辑 68号30 软件工程的数学方面(规范、验证、度量、需求等) 68问题55 计算理论中的语义学 54E35个 度量空间,可度量性 关键词:能力演算;框架规则;间接理论;克里普克模型;阶跃模型;超度量空间 软件:机械化语义库 PDF格式BibTeX公司 XML格式引用 \textit{L.Birkedal}等人,in:第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'11,美国德克萨斯州奥斯汀,2011年1月26日至28日。纽约州纽约市:计算机协会(ACM)。119-132(2011年;Zbl 1284.68102) 全文: 内政部 链接