CONDOLUCI, ANDREA
CONDOLUCI, ANDREA
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Dottorandi
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.011 secondi).
Admissible Tools in the Kitchen of Intuitionistic Logic
2018 Condoluci, Andrea; Manighetti, Matteo
Crumbling Abstract Machines
2019 Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti
Relational Data Across Mathematical Libraries
2019 Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M.
Sharing Equality is Linear
2019 Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti
Strong Call-by-Value is Reasonable, Implosively
2021 Accattoli B.; Condoluci A.; Sacerdoti Coen C.
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Admissible Tools in the Kitchen of Intuitionistic Logic | Condoluci, Andrea; Manighetti, Matteo | 2018-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | CLC2018.2.pdf |
| Crumbling Abstract Machines | Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Relational Data Across Mathematical Libraries | Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M. | 2019-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Sharing Equality is Linear | Condoluci, Andrea; Accattoli, Beniamino; Coen, Claudio Sacerdoti | 2019-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
| Strong Call-by-Value is Reasonable, Implosively | Accattoli B.; Condoluci A.; Sacerdoti Coen C. | 2021-01-01 | - | Institute of Electrical and Electronics Engineers Inc. | 4.01 Contributo in Atti di convegno | Strong_Call-by-Value_is_Reasonable_Implosively.pdf |