安娜·布卡洛
人员信息
优化列表
2010 – 2019
2014 [j6] 安娜·布卡洛 , 朱塞佩·罗索里尼 :
平衡空间的沉醉。 西奥。 计算。 科学。 546 : 93-98 ( 2014 )
2000 – 2009
2006 [j5] 安娜·布卡洛 , 朱塞佩·罗索里尼 :
完备性、共单子体和拓扑空间。 Ann.纯粹应用。 日志。 137 ( 1-3 ) : 104-125 ( 2006 ) [j4] 安娜·布卡洛 , Furio Honsell先生 , 马里诺·米库兰 , 伊凡·斯卡格内托 , 马丁·霍夫曼 :
语境理论的一致性。 J.功能。 程序。 16 ( 三 ) : 327-372 ( 2006 ) 2005 [第1页] 安娜·布卡洛 , 朱塞佩·罗索里尼 :
空间作为共单子体。 从集合和类型到拓扑和分析 2005 2003 [j3] 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
提升单子的等式概念。 西奥。 计算。 科学。 294 ( 1/2 ) : 31-60 ( 2003 )
1990 – 1999
1999 [c2] 安娜·布卡洛 , 卡斯滕·福曼 , 亚历克斯·K·辛普森 :
赤道升降Monads。 CTCS公司 1999 : 22 1997 【c1】 安娜·布卡洛 , 朱塞佩·罗索里尼 :
举起。 范畴理论与计算机科学 1997 : 281-292 1995 [注2] 法比奥·贝利西玛 , 安娜·布卡洛 :
最小US-Tense逻辑的一个可分辨模型定理。 圣母院J.正式日志。 36 ( 4 ) : 585-594 ( 1995 ) 1994 [j1] 安娜·布卡洛 :
线性逻辑中的模态弱于指数“当然”:代数语义和关系语义。 J.日志。 语言信息。 三 ( 三 ) : 211-232 ( 1994 )