Department of Computer Science, Ca' Foscari University, Venice, Laboratory Preuves, Programmes Systemes, UMR 7126, University Paris Diderot, Paris 7 and CNRS;
Laboratory Preuves, Programmes Systemes, UMR 7126, University Paris Diderot, Paris 7 and CNRS;
Department of Computer Science, Ca' Foscari University, Venice;
lambda-calculus; linear logic; denotational semantics; differential lambda-calculus; resource lambda-calculus; non sensible models;
机译:关于泊松指数分布的无限可分指数色散模型
机译:R〜4中超指数增长具有奇异非线性的双调和方程的多重性结果
机译:r〜4中超级指数增长的单数非线性的双谐波方程的多重结果
机译:具有无限多重性的指数
机译:滞后/指数阶段和指数/平稳阶段之间的过渡时期力学模型的开发
机译:指数型随机凸对于渐近充分效率条件在半无限多目标分数规划中的作用
机译:具有无限多重性的指数
机译:无限板对沿熔融裂纹的指数边负荷的稳态响应 - 两个半无限板动态边缘融合模型。