Trinity College Dublin;
Trinity College Dublin;
机译:理论和高阶语言的语义视图
机译:Kripke语义对于高阶类型理论应用于约束逻辑编程语言
机译:高阶语言的变化理论
机译:具有高阶值传递的功能/并发语言的完整抽象性(扩展摘要)
机译:扩展和完善用于业务流程执行语言的Web服务体系结构的抽象操作语义。
机译:神经心理学对抽象词表征的观点:从理论到后天语言障碍的治疗
机译:高阶加密语言的测试理论?
机译:测试高阶拉格朗日微扰理论与数值模拟.1:薄饼模型