# zbMATH — the first resource for mathematics

A system of $$\lambda\mu$$-calculus proper to the implicational fragment of classical natural deduction with one conclusion. (English) Zbl 0925.03097

##### MSC:
 03B40 Combinatory logic and lambda calculus 03F05 Cut-elimination and normal-form theorems