Andrea Condoluci

Orcid: 0000-0001-5966-9196

According to our database1, Andrea Condoluci authored at least 6 papers between 2017 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Strong Call-by-Value is Reasonable, Implosively.
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2019
Sharing Equality is Linear.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Crumbling Abstract Machines.
Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

Relational Data Across Mathematical Libraries.
Proceedings of the Intelligent Computer Mathematics - 12th International Conference, 2019

2018
Admissible Tools in the Kitchen of Intuitionistic Logic.
Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018

2017
CERES in Propositional Proof Schemata.
CoRR, 2017


  Loading...