%0 Journal Article %1 journals/ipl/AlvesB15 %A Alves, Sandra %A Broda, Sabine %D 2015 %J Inf. Process. Lett. %K dblp %N 11 %P 908-911 %T A short note on type-inhabitation: Formula-trees vs. game semantics. %U http://dblp.uni-trier.de/db/journals/ipl/ipl115.html#AlvesB15 %V 115

@article{journals/ipl/AlvesB15, added-at = {2015-08-13T00:00:00.000+0200}, author = {Alves, Sandra and Broda, Sabine}, biburl = {https://www.bibsonomy.org/bibtex/277f1cf1669abe0d3975dfe7c04e483e3/dblp}, ee = {http://dx.doi.org/10.1016/j.ipl.2015.05.004}, interhash = {c1638fe414cb573d4bc3ccac7d4721da}, intrahash = {77f1cf1669abe0d3975dfe7c04e483e3}, journal = {Inf. Process. Lett.}, keywords = {dblp}, number = 11, pages = {908-911}, timestamp = {2015-08-14T11:33:17.000+0200}, title = {A short note on type-inhabitation: Formula-trees vs. game semantics.}, url = {http://dblp.uni-trier.de/db/journals/ipl/ipl115.html#AlvesB15}, volume = 115, year = 2015 }