极小值

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


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

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