A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Lecture Notes in Computer Science
Parigot suggested symmetric structural reduction rules for application to µ-abstraction in  to ensure unique representation of data type. We prove strong normalization of second order λµ-calculus with these rules.doi:10.1007/3-540-45500-0_23 fatcat:kjjhlecnczdk3jtg3zuvd4dbza