TY  - RPRT
TI  - Intersection Types for the Computational lambda-Calculus
AU  - Ugo de'Liguoro
AU  - Riccardo Treglia
PY  - 2020
UR  - https://arxiv.org/abs/1907.05706
ID  - 1907.05706
ER  -