@misc{indiciaed3b6240f9c55,
  title = {Interactive Realizers and Monads},
  author = {Stefano Berardi and Ugo de'Liguoro},
  year = {2010},
  url = {https://arxiv.org/abs/1005.2907},
  note = {Source identifier: 1005.2907}
}