View of A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE $\lambda$-CUBE*

Return to Article Details A SCHEMATIC PROOF OF STRONG NORMALIZATION FOR THE SYSTEMS OF THE

λ

-CUBE* Download Download PDF