DiMI, Universita di Udine, Italy;
机译:(Co)归纳类型理论和情境理论中基于对象的计算的推理
机译:顺序控制和状态的完整的共归句法理论
机译:朝着差分计算的分类<重点类型=“斜体”>κ重点> -minkowski空间及相关场理论
机译:共同电感式理论中的势在必行对象计算
机译:LAMBDA-NU-CS转换的计算:指令式高阶编程语言中控制和状态的句法理论。
机译:泌尿系结石的体外冲击波碎石术。理论功效和不利影响。
机译:归纳类型理论中基于命令的基于对象的计算
机译:用感应和共感类型编程