Universita di Bologna INRIA;
Functional Programming; Higher-order Types; Linear Logic; Resource Consumption; Complexity Analysis;
机译:<重点类型=“斜体”>广告重点> <下标> 6 subscript> t-duals和类型IIB
机译:SuperGravity作为广义几何II:
机译:B_n和C_n型幻影几何的球形度和F_4型幻影定理
机译:曲柄滑块CST型货车低位后保护装置的几何优化设计:曲柄滑块机构的几何优化
机译:基于随机几何的机器类型通信网络分析与设计
机译:取决于日本漆树漆树(Rhus vernicifera)漆酶的1型和2型铜位的几何形状和氧化还原电位的冻结。
机译:Bn和Cn型Phan几何的空间性和F4型Phan型定理