Strong Normalization of Second Order Symmetric Lambda-mu Calculus

Parigot suggested symmetric structural reduction rules for ion to µ-abstraction in [9] to ensure unique representation of data type. We prove strong normalization of second order λµ-calculus with these rules.

• Type: Conference
• Year: 2001
• Where: TACS
• Authors: Yoriyuki Yamagata
• Keywords: Software Engineering, Strong Normalization, Structural Reduction Rules, TACS 2001, Unique Representation