# zbMATH — the first resource for mathematics

Some results about $$\lambda C$$-calculus. (Quelques résultats sur le $$\lambda C$$-calcul.) (French) Zbl 0830.03006
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\}$$.

##### MSC:
 03B40 Combinatory logic and lambda calculus
##### Keywords:
operators; terms of $$\lambda C$$-calculus