TY  - RPRT
TI  - Making Logical Relations More Relatable (Proof Pearl)
AU  - Emmanuel Suárez Acevedo
AU  - Stephanie Weirich
PY  - 2023
UR  - https://arxiv.org/abs/2309.15724
ID  - 2309.15724
ER  -