@inproceedings{salvati09:_recognizability_in_simply_typed_lambda_calculus,
	Address = {{T}okyo {J}apan},
	Author = {{S}alvati, {S}ylvain},
	Booktitle = {16th {W}orkshop on {L}ogic, {L}anguage, {I}nformation and {C}omputation},
	Pages = {48-60},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {{R}ecognizability in the {S}imply {T}yped {L}ambda-{C}alculus},
	Volume = {5514},
	Year = 2009}