Dipartimento di Matematica e Informatica, Universita di Udine, via delle Scienze 206, 33100 Udine, Italy;
机译:基本仿射逻辑中Lambda微积分的主要类型
机译:轻逻辑和按值调用Lambda微积分
机译:逐个呼叫λ - 具有广义应用的Lambda-Calculus
机译:基本仿射逻辑和按价值呼叫兰姆达微积分
机译:子结构逻辑,组合逻辑和lambda演算。
机译:噬菌体λ复制起点的特殊核蛋白结构:与λO蛋白以及λO,λP和大肠杆菌DnaB蛋白复合物。
机译:基本仿射逻辑和按值调用Lambda微积分
机译:基于Lambda-Calculus和集抽象的实用高阶泛函和逻辑程序设计