BibTeX Export

@article{Authenticus:P-00G-FE1,
	title = {{A short note on type-inhabitation: Formula-trees vs. game semantics}},
	author = {S Alves and S Broda},
	doi = {10.1016/j.ipl.2015.05.004},
	journal = {Information Processing Letters},
	number = {11},
	pages = {908-911},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {115},
	year = {2015}
}