Andrea Condoluci

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 9

Top Topics

Intuitionistic Logic

Natural Deduction

Relational Data

Top Venues

Publications

Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively. CoRR (2021)
Beniamino Accattoli, Andrea Condoluci, Claudio Sacerdoti Coen
Strong Call-by-Value is Reasonable, Implosively. LICS (2021)
Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen
Sharing Equality is Linear. PPDP (2019)
Andrea Condoluci, Michael Kohlhase, Dennis Müller, Florian Rabe, Claudio Sacerdoti Coen, Makarius Wenzel
Relational Data Across Mathematical Libraries. CICM (2019)
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
Crumbling Abstract Machines. CoRR (2019)
Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, Claudio Sacerdoti Coen
Crumbling Abstract Machines. PPDP (2019)
Andrea Condoluci, Beniamino Accattoli, Claudio Sacerdoti Coen
Sharing Equality is Linear. CoRR (2019)
Andrea Condoluci, Matteo Manighetti
Admissible Tools in the Kitchen of Intuitionistic Logic. CL&C (2018)
Andrea Condoluci
CERES in Propositional Proof Schemata. CoRR (2017)