dependent types; intersection types; interpolation; counterexamples; type inference;
机译:反例中的从属类型
机译:日常条件推理:反例和可能性使用之间基于工作记忆的权衡
机译:连续雌雄同体大小依赖生殖力的动态模型:威廉姆斯猜想的反例
机译:反例中的从属类型
机译:cAMP依赖性蛋白激酶介导的磷酸化对心脏L型电压依赖性钙通道功能的调节:异源表达和天然通道的生化研究。
机译:PNAS Plus:规模演算的反例
机译:来自反例的依赖类型