...
机译:与直觉线性逻辑相关的分类语义
intuitionistic linear logic; typed lambda calculus; symmetric monoidal closed categories; symmetric monoidal adjunctions;
机译:与直觉线性逻辑相关的分类语义
机译:直觉线性逻辑的分类证明理论
机译:迈向线性时间时序逻辑和功能反应式编程的共同分类语义学
机译:高阶模糊逻辑及其分类语义:通过副结构三斯理论的高阶线性完整性和BAAZ翻译
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:线性约束下具有模糊熵的直觉模糊加权线性回归模型
机译:与直觉线性逻辑相关的类别语义