TY  - RPRT
TI  - From Semantics to Types: the Case of the Imperative lambda-Calculus
AU  - Ugo de'Liguoro
AU  - Riccardo Treglia
PY  - 2021
DO  - 10.4204/eptcs.351.11
UR  - https://arxiv.org/abs/2112.14053
ID  - 2112.14053
ER  -