Andreas Abel, Andrea Vezzosi. A Formalized Proof of Strong Normalization for Guarded Recursive Types. In Jacques Garrigue, editor, Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings. Volume 8858 of Lecture Notes in Computer Science, pages 140-158, Springer, 2014. [doi]
Abstract is missing.