Sciweavers

Share
TACS
2001
Springer

Strong Normalization of Second Order Symmetric Lambda-mu Calculus

9 years 11 months ago
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.
Yoriyuki Yamagata
Added 30 Jul 2010
Updated 30 Jul 2010
Type Conference
Year 2001
Where TACS
Authors Yoriyuki Yamagata
Comments (0)
books