最小值

此软件的关键字
zbMATH中的参考文献(参考文献 47条 )
伯克达尔,拉尔斯; 克劳斯顿,拉纳德; 甘露,巴塞尔; 埃杰勒斯·莫盖尔伯格,拉斯穆斯; 皮特,安德鲁M。; 斯皮特尔斯:模态依赖型理论与从属右伴随(2020) 德尔·卡门·冈萨雷斯·胡埃斯卡,卢尔德; 米兰达·佩雷亚,法维奥·埃兹奎尔; Linares Arévalo,P.Selene:构造S4的对偶和公理系统,正式验证的等价性(2020) Kavvos,G.A.:模态逻辑的双语境计算(2020) 冈萨雷斯·胡埃斯卡(González Huesca),洛尔德·德尔·卡门(Lourdes del Carmen); 米兰达佩雷亚,法维奥E。; Linares Arévalo,P.Selene:构造必要性的公理和对偶系统,正式验证的等价性(2019) Jay,Barry:高阶函数的强度计算(2019) Farmer,William M.:将引用和评价纳入Church的类型理论(2018) 科斯塔塞科,若昂; 费雷拉,保罗; Lourenço,Hugo:基于能力的分布式和异构查询本地化(2017) 费雷拉,旧金山; Pientka,Brigitte:使用一流绑定器语法的程序(2017) Francez,Nissim:论和谐与置换转换(2017) 杰辛托,布鲁诺; 阅读,斯蒂芬:一般消除稳定性(2017) Kavvos,G.A.:论内涵的语义(2017) 克劳斯顿,拉纳德; 比兹亚克,阿莱; 格拉斯沃赫,汉斯·布格; Birkedal,Lars:guarded lambda Calculation:coinductive types的带保护递归的编程和推理(2016) 德帕瓦,缬草; Ritter,Eike:纤维模态类型理论(2016) 费尔特曼,尼古拉斯; 安圭利,卡罗; Acar,乌姆特A。; Fatahalian,Kayvon:自动拆分两阶段lambda演算(2016) Więckowski,Bartosz:具有非原始身份的自然主义一阶语言的亚原子自然演绎(2016) 伯杰,马丁; Ratt,Laurence:同质生成运行时元编程的程序逻辑(2015) 阅读,斯蒂芬:一般消除和谐和更高层次的规则(2015) 别克米舍夫,列夫; Gurevich,Yuri:带析取的命题原逻辑(2014) 博内利,爱德华多; Steren,Gabriela:证明的假设逻辑(2014) Francez,Nissim:多重结论自然演绎中的和谐(2014)