TY  - JOUR
AU  - Nour, Karim
AU  - Saber, Khelifa
TI  - The call-by-value λµ∧∨-calculus
JO  - Discrete mathematics & theoretical computer science
PY  - 2005
VL  - DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/
DO  - 10.46298/dmtcs.3470
LA  - en
ID  - DMTCS_2005_special_251_a2
ER  -