Laboratoire PPS, Universite Paris-Diderot - Paris 7;
linear logic; proof nets; differential linear logic; differ- ential interaction nets; realizability; weak normalization.;
机译:一阶和高阶线性逻辑的相语义割除和归一化证明
机译:关于线性逻辑中的证明归一化(vol 135,pg 67,1994)
机译:差分线性逻辑简介:证明网,模型和反导数
机译:全差分线性逻辑标准化的可实现性证明
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:非线性微分形式的非整数部分的一个不等式猜想的证明
机译:一阶和高阶线性逻辑的相语义割除和归一化证明