Paper: Strong Normalization of System F by HOAS on Top of FOAS (at LICS 2010)
Authors: Andrei Popescu Elsa L. Gunter Christopher J. Osborn
Abstract
No Abstract Available
BibTeX
@InProceedings{PopescuGunterOsborn-StrongNormalization, author = {Andrei Popescu and Elsa L. Gunter and Christopher J. Osborn}, title = {Strong Normalization of System F by HOAS on Top of FOAS}, booktitle = {Proceedings of the Twenty-Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 2010)}, year = {2010}, month = {July}, pages = {31-40}, location = {Edinburgh, Scotland, UK}, publisher = {IEEE Computer Society Press} }