...
机译:显式融合演算的Presheaf环境
Laboratoire de l'lnformatique du Parallelisme, CNRS and ENS Lyon, 46 Allee d'ltalie,Lyon 69364, France;
IMT Lucca Institute for Advanced Studies, Piazza S. Ponziano 6,55100 Lucca, Italy;
Institute for Logic, Language and Computation, University of Amsterdam, P.O. Box 94242,1090 GE Amsterdam, The Netherlands;
Dipartimento di Informatica, University of Pisa, Largo Pontecorvo 3c, 56127 Pisa, Italy;
algebras; coalgebras; denotational semantics; nominal calculi; presheaf categories;
机译:通过离散分数微积分运算符的惠特方程的显式解决方案
机译:通过整合分数演算对某些积分不等式的显式界
机译:通过整合分数演算对某些积分不等式的显式界
机译:π微积分的突发模型
机译:为有限的pi演算找到放样模型。
机译:使用沉浸式虚拟环境技术调查对明确和隐含形式的社会排除的反复响应
机译:具有广义mendler迭代的嵌套数据类型:地图融合以及具有显式展平的无类型lambda演算的表示示例
机译:具有显式递归的Lambda微积分。