Microsoft Research;
Chalmers University;
static contract checking; first-order logic;
机译:光晕:Haskell通过指称语义学走向逻辑
机译:上下文之外的语义:一阶逻辑和计算的名义绝对表示法
机译:乘法线性逻辑中的证明,指称语义和观察等价
机译:晕:哈尔克尔通过表示语义来逻辑
机译:Smythe完成:用于指称语义和复杂性分析的通用拓扑基础。
机译:基于组合模糊逻辑和深度学习的超声图像乳腺肿瘤自动分割 - 一种可行性研究
机译:乘加线性逻辑中的阶段语义和指称语义
机译:从失败到成功:比较霍恩条款逻辑的指称语义和声明语义