×

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