GAVAZZO, FRANCESCO
GAVAZZO, FRANCESCO
Dipartimento di Matematica "Tullio Levi-Civita" - DM
Mostra
records
Risultati 1 - 6 di 6 (tempo di esecuzione: 0.002 secondi).
A relational theory of effects and coeffects
2022 Dal Lago, U.; Gavazzo, F.
Differential logical relations, part II increments and derivatives
2021 Dal Lago, U.; Gavazzo, F.
Effectful applicative similarity for call-by-name lambda calculi
2020 Dal Lago, U.; Gavazzo, F.; Tanaka, R.
Effectful program distancing
2022 Dal Lago, U.; Gavazzo, F.
Elements of Quantitative Rewriting
2023 Gavazzo, F.; Di Florio, C.
On Feller continuity and full abstraction
2022 Barthe, G.; Crubille, R.; Dal Lago, U.; Gavazzo, F.
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| A relational theory of effects and coeffects | 2022 | Gavazzo F. + | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |
| Differential logical relations, part II increments and derivatives | 2021 | Gavazzo F. + | THEORETICAL COMPUTER SCIENCE | - | - |
| Effectful applicative similarity for call-by-name lambda calculi | 2020 | Gavazzo F. + | THEORETICAL COMPUTER SCIENCE | - | - |
| Effectful program distancing | 2022 | Gavazzo F. + | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |
| Elements of Quantitative Rewriting | 2023 | Gavazzo F. + | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |
| On Feller continuity and full abstraction | 2022 | Gavazzo F. + | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | - |