TY  - RPRT
TI  - Formalizing Box Inference for Capture Calculus
AU  - Yichen Xu
AU  - Martin Odersky
PY  - 2023
UR  - https://arxiv.org/abs/2306.06496
ID  - 2306.06496
ER  -