David, René; Nour, Karim About the range property for \(\mathcal H\). (English) Zbl 1315.03024 Log. Methods Comput. Sci. 10, No. 1, Paper No. 3, 18 p. (2014). MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{R. David} and \textit{K. Nour}, Log. Methods Comput. Sci. 10, No. 1, Paper No. 3, 18 p. (2014; Zbl 1315.03024) Full Text: DOI arXiv
Nour, Karim; Saber, Khelifa Confluency property of the call-by-value \(\lambda\mu^{\wedge\vee}\)-calculus. (English) Zbl 1193.03032 David, René (ed.) et al., Computational logic and applications, CLA ’05. Proceedings of the 3rd workshop, Chambéry, France, June 20–21, 2005. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings AF, 97-108, electronic only (2006). MSC: 03B40 03B05 68N18 PDFBibTeX XMLCite \textit{K. Nour} and \textit{K. Saber}, in: Computational logic and applications, CLA '05. Proceedings of the 3rd workshop, Chambéry, France, June 20--21, 2005. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 97--108 (2006; Zbl 1193.03032) Full Text: arXiv Link