×

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
PDF BibTeX XML Cite