Multi-kernel polar codes: Proof of polarization and error exponents | IEEE Conference Publication | IEEE Xplore