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