关注
Andrea Condoluci
Andrea Condoluci
在 studio.unibo.it 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Strong call-by-value is reasonable, implosively
B Accattoli, A Condoluci, CS Coen
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021
262021
Crumbling abstract machines
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
242019
Sharing equality is linear
A Condoluci, B Accattoli, CS Coen
Proceedings of the 21st International Symposium on Principles and Practice …, 2019
182019
Relational data across mathematical libraries
A Condoluci, M Kohlhase, D Müller, F Rabe, C Sacerdoti Coen, M Wenzel
Intelligent Computer Mathematics: 12th International Conference, CICM 2019 …, 2019
92019
Admissible tools in the kitchen of intuitionistic logic
A Condoluci, M Manighetti
arXiv preprint arXiv:1810.07372, 2018
42018
CERES in Propositional Proof Schemata
A Condoluci
arXiv preprint arXiv:1701.05251, 2016
22016
Beta-Conversion, Efficiently
A Condoluci
alma, 2020
12020
Sharing Equality is Linear
B Accattoli, A Condoluci, C Sacerdoti
TYPES 2018, 2018
2018
Multi Types for Strong Call-by-Value
B Accattoli, A Condoluci, G Guerrieri, M Leberle, CS Coen
EUTYPES-TYPES 2020-Abstracts, 0
Harrop: A new tool in the kitchen of intuitionistic logic
A Condoluci, M Manighetti
ESSLLI 2018 Student Session, 100, 0
A (b) normal Environments
B Accattoli, A Condoluci, G Guerrieri, CS Coen
Admissible tools in the kitchen of intuitionistic logic
M Manighetti, A Condoluci
系统目前无法执行此操作,请稍后再试。
文章 1–12