Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Admissible Tools in the Kitchen of Intuitionistic Logic
2018 Condoluci, Andrea; Manighetti, Matteo
Relational Data Across Mathematical Libraries
2019 Condoluci A.; Kohlhase M.; Muller D.; Rabe F.; Sacerdoti Coen C.; Wenzel M.
Crumbling Abstract Machines
2019 Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti
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 |
| 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 | - |
| Crumbling Abstract Machines | Accattoli, Beniamino; Condoluci, Andrea; Guerrieri, Giulio; Coen, Claudio Sacerdoti | 2019-01-01 | - | - | 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 |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile