%0 Journal Article %1 journals/tcs/Hindley89 %A Hindley, J. Roger %D 1989 %J Theor. Comput. Sci. %K dblp %N 1 %P 97-105 %T BCK-Combinators and Linear lambda-Terms have Types. %U http://dblp.uni-trier.de/db/journals/tcs/tcs64.html#Hindley89 %V 64

@article{journals/tcs/Hindley89, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hindley, J. Roger}, biburl = {https://www.bibsonomy.org/bibtex/2a8b5fdfe7d1edc7c669695e3f6d9628c/dblp}, ee = {https://doi.org/10.1016/0304-3975(89)90100-X}, interhash = {c0a3f3d032166a4dd0cfb58e43e76c0c}, intrahash = {a8b5fdfe7d1edc7c669695e3f6d9628c}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {97-105}, timestamp = {2024-04-08T18:37:23.000+0200}, title = {BCK-Combinators and Linear lambda-Terms have Types.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs64.html#Hindley89}, volume = 64, year = 1989 }