发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Step-indexed kripke models over recursive worlds

Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok

期刊名称ACM SIGPLAN Notices
作者Birkedal, Lars; Reus, Bernhard; Schwinghammer, Jan; Støvring, Kristian; Thamsborg, Jacob; Yang, Hongseok
卷第46卷
期第1期
印刷ISSN0362-1340
文件大小722.41KB
发表时间2011-01-26
DOI10.1145/1925844.1926401