Andrea Condoluci

According to our database, Andrea Condoluci authored at least 7 papers between 2017 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Strong Call-by-Value is Reasonable, Implosively.

Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Beta-Conversion, Efficiently.

Andrea Condoluci

PhD thesis, 2020

2019

Sharing Equality is Linear.

Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Crumbling Abstract Machines.

Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Relational Data Across Mathematical Libraries.

Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel

Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018

Admissible Tools in the Kitchen of Intuitionistic Logic.

Andrea Condoluci, Matteo Manighetti

Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018

2017

CERES in Propositional Proof Schemata.

Andrea Condoluci

CoRR, 2017