TY  - RPRT
TI  - Grokking the Sequent Calculus (Functional Pearl)
AU  - David Binder
AU  - Marco Tzschentke
AU  - Marius Müller
AU  - Klaus Ostermann
PY  - 2024
DO  - 10.1145/3674639
UR  - https://arxiv.org/abs/2406.14719
ID  - 2406.14719
ER  -