Dept of Computer Science, Royal Holloway, Univ of London;
logic-enriched type theory; predicativism; formalisation;
机译:韦尔的谓语经典数学作为一种丰富逻辑的类型理论
机译:韦尔的谓语经典数学作为一种丰富逻辑的类型理论
机译:古典谓词逻辑丰富的类型理论
机译:Weyl的预测古典数学作为逻辑型理论
机译:自然数 中 ,表语 单叶 型 理论
机译:数学语言学:完善古典文本重构的熵信息和早期语言学家对信息论的期待
机译:Weyl的谓语经典数学作为一种逻辑丰富的类型理论