Dagnino, F., & Gavazzo, F. (2023). A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential.
Chicago Style (17th ed.) CitationDagnino, Francesco, and Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. 2023.
MLA (9th ed.) CitationDagnino, Francesco, and Francesco Gavazzo. A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. 2023.
Warning: These citations may not always be 100% accurate.