![](/img/cover-not-exists.png)
[IEEE 2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010) - Edinburgh, United Kingdom (2010.07.11-2010.07.14)] 2010 25th Annual IEEE Symposium on Logic in Computer Science - Strong Normalization for System F by HOAS on Top of FOAS
Popescu, Andrei, Gunter, Elsa L., Osborn, Christopher J.Year:
2010
Language:
english
DOI:
10.1109/lics.2010.48
File:
PDF, 318 KB
english, 2010