@misc{indiciae4da6acdae01d,
  title = {Inductive and Functional Types in Ludics},
  author = {Alice Pavaux},
  year = {2017},
  url = {https://arxiv.org/abs/1707.08925},
  note = {Source identifier: 1707.08925}
}