Univ Paris Diderot Sorbonne Paris Cite PPS UMR 7126 CNRS F-75205 Paris France;
Game semantics; Lambda-calculus;
机译:时间尺度:从Nabla微积分到Delta微积分,再到通过对偶的Versa
机译:牙结石在同位素分析方面不等同于骨胶原蛋白:对来自El Raval中世纪遗址(西班牙阿利坎特)的同一个体的大块牙结石,骨骼和牙本质胶原蛋白进行碳和氮稳定同位素分析的比较
机译:用无约束方法完整解决变分约束中的延迟问题
机译:λ(λ)-calculus:针对无约束策略的双积分
机译:物理经验和微积分:在跨学科的微积分/物理课程中,学生如何使用物理学来构建有意义的微积分概念的概念化。
机译:猫白血病病毒和猫免疫缺陷病毒阴性猫的牙龈炎与牙结石厚度或牙结石覆盖率和牙龈下细菌的关系
机译:时间尺度:从Nabla微积分到Delta微积分,反之亦然 二元性
机译:量子球上的微分学与变形自对偶方程