扬尼克·福斯特;格特·斯莫尔卡 按值调用lambda演算作为Coq中的计算模型。 (英语) Zbl 1468.68323号 J.汽车。推理 63,第2号,393-413(2019).MSC公司:68V20型 68甲18 2004年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}和\textit{G.Smolka},J.Autom。推理63,No.2,393--413(2019;Zbl 1468.68323) 全文: DOI程序
扬尼克·福斯特;格特·斯莫尔卡 弱调用值lambda演算作为Coq中的计算模型。 (英语) Zbl 1468.68322号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10499, 189-206 (2017).MSC公司:68V20型 68甲18 04年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}和\textit{G.Smolka},莱克特。注释计算。科学。10499,189--206(2017;Zbl 1468.68322) 全文: DOI程序
史蒂文·施费尔;格特·斯莫尔卡 固定点CCS的塔诱导和顶置技术。 (英语) Zbl 1486.68117号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226, 274-289 (2017).MSC公司:68问题85 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Schäfer}和\textit{G.Smolka},莱克特。注释计算。科学。10226、274--289(2017;Zbl 1486.68117) 全文: DOI程序
格特·斯莫尔卡;史蒂文·施费尔;克里斯蒂安·多兹卡尔 经典类型理论中的超有限结构。 (英语) Zbl 1465.03057号 Urban,Christian(ed.)等人,《交互式定理证明》。第六届国际会议,2015年ITP,中国南京,2015年8月24日至27日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9236, 391-404 (2015).MSC公司:03B38型 03E20型 03E25型 65楼03号 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Smolka}等人,Lect。注释计算。科学。9236,391--404(2015;Zbl 1465.03057) 全文: DOI程序