TY  - RPRT
TI  - Solvability = Typability + Inhabitation
AU  - Antonio Bucciarelli
AU  - Delia Kesner
AU  - Simona Ronchi Della Rocca
PY  - 2021
DO  - 10.23638/lmcs-17(1:7)2021
UR  - https://arxiv.org/abs/1812.06009
ID  - 1812.06009
ER  -