机译:线性和直觉逻辑的混合功能解释
Queen Mary, University of London, London, UK;
realizability; dialectica interpretation; functional interpretation; linear logic;
机译:直觉线性逻辑的功能解释
机译:线性和直觉逻辑的功能解释
机译:直接逻辑的命题解释为诽谤组合逻辑的完整性
机译:直觉线性逻辑的功能解释
机译:单子直觉和模态逻辑承认可证明性
机译:强度和持续时间自适应的功能性电刺激使用模糊逻辑控制和用于脚掌矫正的线性模型
机译:直觉线性逻辑的功能解释