@article{dmtcs:3470,
    title      = {The call-by-value λµ∧∨-calculus},
    author     = {Karim Nour and Khelifa Saber},
    url        = {https://dmtcs.episciences.org/3470},
    doi        = {10.46298/dmtcs.3470},
    journal    = {Discrete Mathematics \& Theoretical Computer Science},
    issn       = {1365-8050},
    volume     = {DMTCS Proceedings vol. AF, Computational Logic and Applications (CLA '05)},
    issuetitle = {Proceedings},
    eid        = 1,
    year       = {2005},
    month      = {Jan},
    keywords   = {Call-by-value, Propositional classical logic, Parallel reduction, Complete development, Church-Rosser, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]},
    language   = {English},
}