@misc{indiciae7b99d48df055,
  title = {Grokking the Sequent Calculus (Functional Pearl)},
  author = {David Binder and Marco Tzschentke and Marius Müller and Klaus Ostermann},
  year = {2024},
  doi = {10.1145/3674639},
  url = {https://arxiv.org/abs/2406.14719},
  note = {Source identifier: 2406.14719}
}