TY  - RPRT
TI  - Resolution as Intersection Subtyping via Modus Ponens
AU  - Koar Marntirosian
AU  - Tom Schrijvers
AU  - Bruno C. d. S. Oliveira
AU  - Georgios Karachalias
PY  - 2020
DO  - 10.1145/3428274
UR  - https://arxiv.org/abs/2010.06216
ID  - 2010.06216
ER  -