@article{lmcs:11041, title = {A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential}, author = {Francesco Dagnino and Francesco Gavazzo}, url = {https://lmcs.episciences.org/11041}, doi = {10.46298/lmcs-20(2:1)2024}, journal = {Logical Methods in Computer Science}, issn = {1860-5974}, volume = {Volume 20, Issue 2}, eid = 1, year = {2024}, month = {Apr}, keywords = {Computer Science - Logic in Computer Science}, }