Sciweavers

TYPES
1993
Springer

Proving Strong Normalization of CC by Modifying Realizability Semantics

14 years 3 months ago
Proving Strong Normalization of CC by Modifying Realizability Semantics
Thorsten Altenkirch
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where TYPES
Authors Thorsten Altenkirch
Comments (0)