Go to the corresponding LIPIcs Volume Portal 
Dudenhefner, Andrej ; Rehof, Jakob
pdfformat: 

@InProceedings{dudenhefner_et_al:LIPIcs:2019:11406, author = {Andrej Dudenhefner and Jakob Rehof}, title = {{A Simpler Undecidability Proof for System F Inhabitation}}, booktitle = {24th International Conference on Types for Proofs and Programs (TYPES 2018)}, pages = {2:12:11}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783959771061}, ISSN = {18688969}, year = {2019}, volume = {130}, editor = {Peter Dybjer and Jos{\'e} Esp{\'\i}rito Santo and Lu{\'\i}s Pinto}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2019/11406}, URN = {urn:nbn:de:0030drops114061}, doi = {10.4230/LIPIcs.TYPES.2018.2}, annote = {Keywords: System F, Lambda Calculus, Inhabitation, Propositional Logic, Provability, Undecidability, Coq, Formalization} }
Keywords:  System F, Lambda Calculus, Inhabitation, Propositional Logic, Provability, Undecidability, Coq, Formalization  
Collection:  24th International Conference on Types for Proofs and Programs (TYPES 2018)  
Issue Date:  2019  
Date of publication:  18.11.2019  
Supplementary Material:  https://github.com/mrhaandi/ipc2 