@misc{indiciae0bf7210c5366,
  title = {Revisiting Call-by-value Böhm trees in light of their Taylor expansion},
  author = {Emma Kerinec and Giulio Manzonetto and Michele Pagani},
  year = {2020},
  doi = {10.23638/lmcs-16(3:6)2020},
  url = {https://arxiv.org/abs/1809.02659},
  note = {Source identifier: 1809.02659}
}