@inproceedings{inproceedings, title = {{Strong Normalization for System F by HOAS on Top of FOAS}}, publisher = {{IEEE}}, url = {{http://dx.doi.org/10.1109/lics.2010.48 }}, year = {{2010}}, month = {{1}}, author = {{Popescu A and Gunter EL and Osborn CJ}}, doi = {{10.1109/lics.2010.48}}, journal = {{2010 25th Annual IEEE Symposium on Logic in Computer Science}}, note = {{Accessed on 2025/06/22}}}