机译:构造的开放演算(第二部分):依赖类型的方程式类型理论,用于编程,规范和交互式定理证明
机译:构造的开放演算(第一部分):依赖类型的方程式理论,用于程序设计,规范和交互式定理证明
机译:线性,会话类型和Pi演算
机译:线性大小在结构微积分中的类型
机译:对上学期微积分主要主题的概念理解:肯塔基大学对三种微积分课程的研究。
机译:肉型山羊的繁殖力及其与年龄体重奇偶性先前产仔数和身体线性型性状的关系
机译:具有尺寸注释的代数构造微积分中类型检查的可确定性
机译:使用类型化的lambda演算来理解和构建生态学领域的仿真模型