Francesco Gavazzo

MaRDI QIDQ1989332zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Allegories of symbolic manipulations	2026-02-27	Paper
Open higher-order logic	2024-09-25	Paper
A fibrational tale of operational logical relations: pure, effectful and differential Logical Methods in Computer Science	2024-06-27	Paper
A fibrational tale of operational logical relations	2024-05-27	Paper
Effectful normal form bisimulation Programming Languages and Systems	2023-11-24	Paper
scientific article; zbMATH DE number 7700628 (Why is no real title available?) (available as arXiv preprint)	2023-06-23	Paper
On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem Programming Languages and Systems	2022-10-13	Paper
Differential logical relations. I: The simply-typed case (available as arXiv preprint)	2022-07-21	Paper
On bisimilarity in lambda calculi with continuous probabilistic choice	2022-04-29	Paper
Differential logical relations. II: Increments and derivatives Theoretical Computer Science	2021-11-18	Paper
Quantitative Behavioural Reasoning for Higher-order Effectful Programs Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
Effectful applicative bisimilarity: monads, relators, and Howe's method (available as arXiv preprint)	2021-01-19	Paper
Effectful applicative bisimilarity: monads, relators, and Howe's method	2021-01-19	Paper
Effectful applicative similarity for call-by-name lambda calculi Theoretical Computer Science	2020-04-21	Paper

Research outcomes over time

This page was built for person: Francesco Gavazzo