2 search results - page 1 / 1 » Strong Normalization of Second Order Symmetric Lambda-mu Cal... |
TACS
2001
Springer
13 years 9 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 ...
AML
2002
13 years 4 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.