TY  - RPRT
TI  - More Church-Rosser Proofs in BELUGA
AU  - Alberto Momigliano
AU  - Martina Sassella
PY  - 2024
DO  - 10.4204/eptcs.402.6
UR  - https://arxiv.org/abs/2404.14921
ID  - 2404.14921
ER  -