%0 Conference Paper %1 conf/tlca/Altenkirch93 %A Altenkirch, Thorsten %B TLCA %D 1993 %E Bezem, Marc %E Groote, Jan Friso %I Springer %K dblp %P 13-28 %T A Formalization of the Strong Normalization Proof for System F in LEGO. %U http://dblp.uni-trier.de/db/conf/tlca/tlca93.html#Altenkirch93 %V 664 %@ 3-540-56517-5

@inproceedings{conf/tlca/Altenkirch93, added-at = {2017-05-17T00:00:00.000+0200}, author = {Altenkirch, Thorsten}, biburl = {https://www.bibsonomy.org/bibtex/25dbc4c5bf786f60e69b59f141b58b280/dblp}, booktitle = {TLCA}, crossref = {conf/tlca/1993}, editor = {Bezem, Marc and Groote, Jan Friso}, ee = {https://doi.org/10.1007/BFb0037095}, interhash = {454f8e6d310967b9e3b97603d3ce20bd}, intrahash = {5dbc4c5bf786f60e69b59f141b58b280}, isbn = {3-540-56517-5}, keywords = {dblp}, pages = {13-28}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:22:07.000+0200}, title = {A Formalization of the Strong Normalization Proof for System F in LEGO.}, url = {http://dblp.uni-trier.de/db/conf/tlca/tlca93.html#Altenkirch93}, volume = 664, year = 1993 }