Sciweavers

CORR
2008
Springer
61views Education» more  CORR 2008»
13 years 11 months ago
Short proofs of strong normalization
This paper presents simple, syntactic strong normalization proofs for the simply-typed -calculus and the polymorphic -calculus (system F) with the full set of logical connectives, ...
Aleksander Wojdyga