Francesco Gavazzo

From MaRDI portal
Person:1989332

Available identifiers

zbMath Open gavazzo.francescoMaRDI QIDQ1989332

List of research outcomes





PublicationDate of PublicationType
Open higher-order logic2024-09-25Paper
A fibrational tale of operational logical relations: pure, effectful and differential2024-06-27Paper
A fibrational tale of operational logical relations2024-05-27Paper
Effectful normal form bisimulation2023-11-24Paper
https://portal.mardi4nfdi.de/entity/Q61599392023-06-23Paper
On the versatility of open logical relations. Continuity, automatic differentiation, and a containment theorem2022-10-13Paper
Differential logical relations. I: The simply-typed case2022-07-21Paper
On bisimilarity in lambda calculi with continuous probabilistic choice2022-04-29Paper
Differential logical relations. II: Increments and derivatives2021-11-18Paper
Quantitative Behavioural Reasoning for Higher-order Effectful Programs2021-01-20Paper
Effectful applicative bisimilarity: monads, relators, and Howe's method2021-01-19Paper
Effectful applicative similarity for call-by-name lambda calculi2020-04-21Paper

Research outcomes over time

This page was built for person: Francesco Gavazzo

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1989332&oldid=6535127"
Powered by MediaWiki