2 search results - page 1 / 1 » Strong Normalization of Second Order Symmetric Lambda-mu Cal... |
TACS
2001
Springer
15 years 2 months ago
2001
Springer
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 ...
84
Voted
AML
2002
14 years 10 months ago
2002
Abstract We extend Barbanera and Berardi's symmetric lambda calculus [2] to second order classical propositional logic and prove its strong normalization.