@InProceedings{bourreau11:_game_seman_uniquen_type_inhab, author = {Pierre Bourreau and Sylvain Salvati}, title = {Game Semantics and Uniqueness of Type Inhabitance in the Simply-Typed λ-Calculus}, booktitle = {TLCA 2011}, pages = {61-75}, year = 2011, editor = {Luke Ong}, volume = 6690, series = {Lecture Notes in Computer Science}}