%0 Journal Article
%A Nour, Karim
%A Saber, Khelifa
%T The call-by-value λµ∧∨-calculus
%J Discrete mathematics & theoretical computer science
%D 2005
%V DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.3470/
%R 10.46298/dmtcs.3470
%G en
%F DMTCS_2005_special_251_a2