机译:作为函子的接口,作为余数的程序-内涵类型理论中的末余余数定理
机译:构造的开放演算(第二部分):依赖类型的方程式类型理论,用于编程,规范和交互式定理证明
机译:构造的开放演算(第一部分):依赖类型的方程式理论,用于程序设计,规范和交互式定理证明
机译:相依类型理论中的交互式程序
机译:关于验证使用弱类型编程语言C编写的类型良好的程序。
机译:对剪接比对程序进行基准测试包括Spaln2Spaln2的扩展版本结合了特定于物种的其他功能
机译:作为函子的接口,作为余数的程序—意图类型理论中的最终余数定理