极小值

分段计算的模态分析我们表明,基于直觉模态逻辑S4的类型系统提供了一种表达框架,用于指定和分析类型化的α-结石和函数语言的上下文中的计算阶段。我们直接证明了我们的SmE E -ε-ε-演算捕获阶段的意义,并给出了Nielson和Nielson两层函数语言在我们的函数语言Mini ML中的保守嵌入,从而证明了绑定时间正确性等同于该片段上的模态正确性。此外,Mini ML还可以在多个阶段表示代码的即时评估和共享,从而支持运行时代码生成和部分评估。


ZBMaCT中的参考文献(45篇文章中引用)

显示结果1至20的45。
按年份排序(引文
  1. 伯克达尔,拉尔斯;Clouston,拉纳德;曼纳,Bassel;Ejlers M·格尔伯格,拉斯姆斯;皮茨,Andrew M.;吐痰者,BAS:模态依赖型理论和相关右伴随(2020)
  2. 卢尔德卡门、Miranda Perea、Favio E.、Linares Ar·瓦洛、P. Selene:建构必要性的公理和对偶系统,一种形式化验证的等价性(2019)
  3. 杰伊,巴里:高阶函数的内涵计算(2019)
  4. 农民、William M.:教会理论的引用与评价(2018)
  5. 科斯塔塞科,乔圣奥,费雷拉,Paulo;洛伦萨,雨果:分布式和异构查询的能力本土化(2017)
  6. 费雷拉,弗朗西斯科;Pientka,汤屹云:使用一流绑定的语法程序(2017)
  7. 弗朗西斯、Nissim:和谐与置换转换(2017)
  8. Jacinto,布鲁诺;Read,史蒂芬:一般消除稳定性(2017)
  9. G. A.:论内涵的语义(2017)
  10. 克劳斯顿、拉纳德、比扎克、阿勒、格拉斯沃尔、Hans Bugge、伯克达尔、拉尔斯:守卫的lambda演算:共感性类型的有保护递归的程序设计和推理(2016)
  11. 德帕瓦,巴莱里亚;Ritter,艾克:纤维模态模式理论(2016)
  12. 费尔特曼,尼古拉斯;Angiuli,Carlo;Acar,Umut A.;法塔哈里安,Kayvon:自动分裂两阶段λ演算(2016)
  13. Bartosz:一个具有非本原身份的自然主义一阶语言的亚原子自然演绎(2016)
  14. 伯杰,马丁;特拉特,劳伦斯:同构生成运行元编程的程序逻辑(2015)
  15. 阅读,史蒂芬:一般消除和谐和更高层次的规则(2015)
  16. Beklemishev,列夫;Gurevich,尤里:命题析取的原逻辑(2014)
  17. 博内利,爱德华多;斯特伦,Gabriela:证明的假设逻辑(2014)
  18. 弗朗茨,Nissim:多结论自然演绎中的和声(2014)
  19. 弗朗西斯,NISSIM:由自然语言启发的逻辑:量词作为子语言(2014)
  20. 弗朗西斯,Nissim:证明理论语义学中的双边主义(2014)