Nour, Karim Some results about \(\lambda C\)-calculus. (Quelques résultats sur le \(\lambda C\)-calcul.) (French) Zbl 0830.03006 C. R. Acad. Sci., Paris, Sér. I 320, No. 3, 259-262 (1995). Summary: We characterize in an operational way the terms of \(\lambda C\)-calculus of type \(\forall X\{\perp\;\to X\}\) and \(\forall X\{\neg\neg X\to X\}\). Cited in 1 Document MSC: 03B40 Combinatory logic and lambda calculus Keywords:operators; terms of \(\lambda C\)-calculus PDF BibTeX XML Cite \textit{K. Nour}, C. R. Acad. Sci., Paris, Sér. I 320, No. 3, 259--262 (1995; Zbl 0830.03006) OpenURL