TY  - RPRT
TI  - An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
AU  - Davide Sangiorgi
PY  - 2024
DO  - 10.1007/978-3-031-73709-1_5
UR  - https://arxiv.org/abs/2412.07351
ID  - 2412.07351
ER  -