1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2023★ 1 cited
A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
Francesco Dagnino, Francesco Gavazzo
Logical relations built on top of an operational semantics are one of the most successful proof methods in programming language semantics. In recent years, more and more expressive…
math.CT2021
Doctrines, modalities and comonads
Francesco Dagnino, Giuseppe Rosolini
Doctrines are categorical structures very apt to study logics of different nature within a unified environment: the 2-category Dtn of doctrines. Modal interior operators are charac…