affine types; linear logic; type systems; polymorphism; modules;
机译:实际仿射类型
机译:辐射3空间中椭圆型旋转旋转表面
机译:基于仿射型神经网络的一类不确定非仿射非线性系统的鲁棒自适应控制
机译:实际仿射类型
机译:(简并)和c型染色的仿射和双染色的Hecke代数
机译:使用13C标记和分段仿射近似对动态代谢通量的有效估计:从理论到实际适用性
机译:有限型KLR代数的仿射蜂窝性和A仿射A型KLR代数的Specht模之间的同态