Crumbling abstract machines B Accattoli, A Condoluci, G Guerrieri, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 19 | 2019 |

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 | 13 | 2021 |

Sharing equality is linear A Condoluci, B Accattoli, CS Coen Proceedings of the 21st International Symposium on Principles and Practice …, 2019 | 11 | 2019 |

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 | 8 | 2019 |

CERES in Propositional Proof Schemata A Condoluci arXiv preprint arXiv:1701.05251, 2016 | 2 | 2016 |

Beta-Conversion, Efficiently A Condoluci alma, 2020 | 1 | 2020 |

Admissible tools in the kitchen of intuitionistic logic A Condoluci, M Manighetti arXiv preprint arXiv:1810.07372, 2018 | 1 | 2018 |

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 | | |