GAVAZZO, FRANCESCO

GAVAZZO, FRANCESCO  

ARAG - AREA FINANZA E PARTECIPATE  

Collaboratori  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.029 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A Fibrational Tale of Operational Logical Relations Francesco Dagnino; Francesco Gavazzo 2022-01-01 - - 4.01 Contributo in Atti di convegno -
A Relational Theory of Effects and Coeffects Dal Lago, U; Gavazzo, F 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista 3498692.pdf
A Relational Theory of Monadic Rewriting Systems, Part i Gavazzo F.; Faggian C. 2021-01-01 - Institute of Electrical and Electronics Engineers Inc. 4.01 Contributo in Atti di convegno On_Monadic_Rewriting_Systems__Part_I (5).pdf
Differential logical relations, Part I: The simply-typed case Dal Lago U.; Gavazzo F.; Yoshimizu A. 2019-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno main.pdf
Differential logical relations, part II increments and derivatives Dal Lago U.; Gavazzo F. 2021-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista TCS895-2021.pdf
Effectful applicative bisimilarity: Monads, relators, and Howe's method Dal Lago, Ugo; Gavazzo, Francesco; Levy, Paul Blain 2017-01-01 PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE IEEE 4.01 Contributo in Atti di convegno -
Effectful applicative similarity for call-by-name lambda calculi Dal Lago U.; Gavazzo F.; Tanaka R. 2020-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista main.pdf
Effectful applicative similarity for call-by-name lambda calculi Ugo Dal, Lago; Gavazzo, Francesco; Tanaka, Ryo 2017-01-01 - CEUR-WS 4.01 Contributo in Atti di convegno -
Effectful Normal Form Bisimulation Dal Lago U.; Gavazzo F. 2019-01-01 - Springer Verlag 4.01 Contributo in Atti di convegno -
Effectful program distancing Ugo Dal Lago; Francesco Gavazzo 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista popl2022a.pdf
Effectful program distancing Ugo Dal Lago; Francesco Gavazzo 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista popl2022a.pdf
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice Lago, Ugo Dal; Gavazzo, Francesco 2019-01-01 ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno -
On Feller Continuity and Full Abstraction Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F 2022-01-01 PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - 1.01 Articolo in rivista icfp2022a.pdf
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem Barthe G.; Crubille R.; Dal Lago U.; Gavazzo F. 2020-01-01 - Springer 4.01 Contributo in Atti di convegno esop2020.pdf
Open Higher-Order Logic Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen 2023-01-01 - Klin, Bartek and Pimentel, Elaine 4.01 Contributo in Atti di convegno LIPIcs-CSL-2023-17.pdf
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances Francesco Gavazzo 2018-01-01 - Anuj Dawar, Erich Grädel 4.01 Contributo in Atti di convegno -
Resource transition systems and full abstraction for linear higher-order effectful programs Dal Lago U.; Gavazzo F. 2021-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno fscd2021.pdf