## René David, Karim Nour

*Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus*

TLCA, 2005.

@inproceedings{TLCA-2005-DavidN, author = "René David and Karim Nour", booktitle = "{Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/11417170_13", isbn = "3-540-25593-1", pages = "162--178", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Arithmetical Proofs of Strong Normalization Results for the Symmetric λμ-Calculus}", volume = 3461, year = 2005, }