@misc{indiciae3088a3991c9a,
  title = {Realizability Interpretation and Normalization of Typed Call-by-Need \$\$λ\$\$-calculus With Control},
  author = {Étienne Miquey and Hugo Herbelin},
  year = {2018},
  url = {https://arxiv.org/abs/1803.00914},
  note = {Source identifier: 1803.00914}
}