TY  - RPRT
TI  - Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types
AU  - Luca Ciccone
AU  - Luca Padovani
PY  - 2022
DO  - 10.46298/lmcs-18(3:27)2022
UR  - https://arxiv.org/abs/2108.01503
ID  - 2108.01503
ER  -