APA (7th ed.) Citation

Dagnino, F., & Gavazzo, F. (2024). A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential. Logical methods in computer science, 20, Issue 2, . https://doi.org/10.46298/lmcs-20(2:1)2024

Chicago Style (17th ed.) Citation

Dagnino, Francesco, and Francesco Gavazzo. "A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential." Logical Methods in Computer Science 20, Issue 2 (2024). https://doi.org/10.46298/lmcs-20(2:1)2024.

MLA (9th ed.) Citation

Dagnino, Francesco, and Francesco Gavazzo. "A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential." Logical Methods in Computer Science, vol. 20, Issue 2, 2024, https://doi.org/10.46298/lmcs-20(2:1)2024.