dependent type theory; higher inductive types; induct-ive-inductive definitions; quotient types; sized types; category theory;
机译:不定式[0,1]值逻辑的省略类型
机译:类型空间的不定式概率逻辑
机译:类型空间的无限概率逻辑
机译:作为序列的无穷交叉点类型:Klop问题的新答案
机译:检查与用于构造刻度线的织物类型相关的采样偏差
机译:体外构建的脊髓灰质炎病毒1型/ 3型抗原性杂交病毒在兔和猴中引起1型和3型中和抗体。
机译:构建无限素的商用归纳类型