intersection types; lambda calculus a la Church and a la Curry; proof-functional logics;
机译:增量演算:语法和类型
机译:CABG SYNTAX评分-冠状动脉搭桥术后对冠脉疾病复杂性进行分级的血管造影工具:来自SYNTAX左主血管造影(SYNTAX-LE MANS)子研究
机译:CABG语法得分 - 冠状动脉旁路移植手术冠状病患者血管疾病复杂性的血管造影工具:从语法左主血管造影(Syntax-Le Mans)Superdy
机译:delta-calculus:语法和类型
机译:赫梯语中的Wh词:语法语义学和语法语音学接口研究。
机译:通过SYNTAX评分评估2型糖尿病患者心肌再血管化的适宜性:PROUST研究
机译:\ lambda \ Delta-Calculus的遗传替代