...
机译:抽象与本体:作为有记录类型理论中的命题摘要的问题
Department of Computer Science, King's College London, Strand, London WC2R 2LS, UK;
semantics of interrogatives; type theory; questions;
机译:本体,社会水平和普及程度:理论参与者作为制度理论的抽象
机译:减少高中计算机科学教育中的抽象:以抽象数据类型的定义,实现和使用为例
机译:关于实际需要抽象关系来验证抽象数据类型表示形式
机译:带有记录的类型理论中的可视TTR建模可视问题解答
机译:本体论和(非)本体论:德勒兹,海德格尔和问题的存在。
机译:更正:从具有多发性硬化症本体论的PubMed摘要和电子病历中检索知识
机译:抽象与本体论:带记录的类型理论中的命题摘要问题
机译:解释马丁 - 洛夫在一类自由命题理论中的类型理论