@unpublished{amorim_effcost,
 title = {The Compositional Essence of Effectful Cost Analyses: Categorical Foundations and Fibered Logical Relations},
 author = {Amorim, Pedro H. Azevedo de},
 note = {Preprint},
 url = {https://pedrohaa.github.io/papers/effcost.pdf}
}