%0 Journal Article %1 journals/tcs/Huet75 %A Huet, Gérard P. %D 1975 %J Theor. Comput. Sci. %K dblp %N 1 %P 27-57 %T A Unification Algorithm for Typed lambda-Calculus. %U http://dblp.uni-trier.de/db/journals/tcs/tcs1.html#Huet75 %V 1

@article{journals/tcs/Huet75, added-at = {2011-09-07T00:00:00.000+0200}, author = {Huet, Gérard P.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ef99842091eb7e167c81dca0c4f691bd/dblp}, ee = {http://dx.doi.org/10.1016/0304-3975(75)90011-0}, interhash = {95615c9c811eb4c0e2938062bbfc09da}, intrahash = {ef99842091eb7e167c81dca0c4f691bd}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {27-57}, timestamp = {2016-02-02T10:03:56.000+0100}, title = {A Unification Algorithm for Typed lambda-Calculus.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs1.html#Huet75}, volume = 1, year = 1975 }