TY  - RPRT
TI  - Confluency property of the call-by-value $λμ^{\wedge \vee}$-calculus
AU  - Karim Nour
AU  - Khelifa Saber
PY  - 2009
UR  - https://arxiv.org/abs/0905.1102
ID  - 0905.1102
ER  -