编辑配置文件(在新选项卡中打开) Gianluca Curzi 合著者距离 作者ID: 库兹·甘卢卡 发布日期: Gianluca Curzi 已编制索引的文档: 4出版物自2020年起,包括1个附加arXiv预打印 合著者: 6位合著者具有4联合出版物 123位Co-Co作者 全部的 前5名合著者 0 单作者的 1 亚历山德罗·阿尔迪尼 1 达斯,阿努帕姆 1 格拉齐亚尼,皮耶路易吉 1 米歇尔·帕加尼 1 卢卡·罗维斯 1 米尔科·塔利亚费里 系列 1 理论计算机科学 领域 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1时间1文件 引用人▼ 年份▼ 概率演算中非懒惰的好处。适用的互模拟对于非惰性概率调用名是完全抽象的。 Zbl 1498.03041号 Gianluca Curzi;米歇尔·帕加尼 1 2020 在概率\(\lambda \)演算中不懒惰的好处。适用的互模拟对于非惰性概率调用名是完全抽象的。 Zbl 1498.03041号 吉安卢卡·库齐;米歇尔·帕加尼 1 2020 1位作者引用 1 克劳迪娅·法根 连载1篇 1 计算机科学中的逻辑方法 在2个字段中引用 1 数学逻辑和基础(03-XX) 1 计算机科学(68至XX) 按年份列出的引文