@misc{indiciae82ffbd6dbb22,
  title = {Complexity Analysis in Presence of Control Operators and Higher-Order Functions (Long Version)},
  author = {Ugo Dal Lago and Giulio Pellitta},
  year = {2013},
  url = {https://arxiv.org/abs/1310.1763},
  note = {Source identifier: 1310.1763}
}