卡罗莱娜·拉瓦泰利
人员信息
优化列表
1990 – 1999
1999 [j1] 热拉尔·布多尔 , 皮埃尔·路易斯·居里 , 卡罗莱娜·拉瓦泰利 :
带有资源的lambda calculi的语义。 数学。 结构。 计算。 科学。 9 ( 4 ) : 437-482 ( 1999 ) 1998 【c3】 卡罗莱娜·拉瓦泰利 :
具有资源的Lambda微积分的死锁敏感类型。 FSTTCS公司 1998 : 30-41 1996 【c2】 热拉尔·布多尔 , 卡罗莱娜·拉瓦泰利 :
Lambda微积分的完整抽象与资源和收敛测试。 CAAP公司 1996 : 302-316 【c1】 卡罗莱娜·拉瓦泰利 :
兰姆达微积分的代数解释与资源。 CONCUR公司 1996 : 422-437