%0 Conference Paper %1 conf/rta/KennawayKSV95 %A Kennaway, Richard %A Klop, Jan Willem %A Sleep, M. Ronan %A de Vries, Fer-Jan %B RTA %D 1995 %E Hsiang, Jieh %I Springer %K dblp %P 257-270 %T Infinitary Lambda Calculi and Böhm Models. %U http://dblp.uni-trier.de/db/conf/rta/rta95.html#KennawayKSV95 %V 914 %@ 3-540-59200-8

@inproceedings{conf/rta/KennawayKSV95, added-at = {2017-05-20T00:00:00.000+0200}, author = {Kennaway, Richard and Klop, Jan Willem and Sleep, M. Ronan and de Vries, Fer-Jan}, biburl = {https://www.bibsonomy.org/bibtex/27d756d4a390482c867abcbd85b3d5075/dblp}, booktitle = {RTA}, crossref = {conf/rta/1995}, editor = {Hsiang, Jieh}, ee = {https://doi.org/10.1007/3-540-59200-8_62}, interhash = {173daa7267590d22379646942e678d38}, intrahash = {7d756d4a390482c867abcbd85b3d5075}, isbn = {3-540-59200-8}, keywords = {dblp}, pages = {257-270}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:19:06.000+0200}, title = {Infinitary Lambda Calculi and Böhm Models.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta95.html#KennawayKSV95}, volume = 914, year = 1995 }