%0 Journal Article %1 journals/tcs/KennawayKSV97 %A Kennaway, Richard %A Klop, Jan Willem %A Sleep, M. Ronan %A de Vries, Fer-Jan %D 1997 %J Theor. Comput. Sci. %K dblp %N 1 %P 93-125 %T Infinitary Lambda Calculus. %U http://dblp.uni-trier.de/db/journals/tcs/tcs175.html#KennawayKSV97 %V 175

@article{journals/tcs/KennawayKSV97, added-at = {2021-02-17T00:00:00.000+0100}, author = {Kennaway, Richard and Klop, Jan Willem and Sleep, M. Ronan and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/2075e8d387ca812050243781ab3b2f1d1/dblp}, ee = {https://doi.org/10.1016/S0304-3975(96)00171-5}, interhash = {d46fc70bb749bc345af952922f0011e8}, intrahash = {075e8d387ca812050243781ab3b2f1d1}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {93-125}, timestamp = {2024-04-08T18:46:11.000+0200}, title = {Infinitary Lambda Calculus.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs175.html#KennawayKSV97}, volume = 175, year = 1997 }