%0 Conference Paper %1 conf/caap/TiurynW96 %A Tiuryn, Jerzy %A Wand, Mitchell %B CAAP %D 1996 %E Kirchner, Hélène %I Springer %K dblp %P 317-329 %T Untyped Lambda-Calculus with Input-Output. %U http://dblp.uni-trier.de/db/conf/caap/caap96.html#TiurynW96 %V 1059 %@ 3-540-61064-2

@inproceedings{conf/caap/TiurynW96, added-at = {2017-05-22T00:00:00.000+0200}, author = {Tiuryn, Jerzy and Wand, Mitchell}, biburl = {https://www.bibsonomy.org/bibtex/27706ff3297f5a5cf82fe04338565fd62/dblp}, booktitle = {CAAP}, crossref = {conf/caap/1996}, editor = {Kirchner, Hélène}, ee = {https://doi.org/10.1007/3-540-61064-2_46}, interhash = {f69d64fb1a417bf8399d49a959e90e14}, intrahash = {7706ff3297f5a5cf82fe04338565fd62}, isbn = {3-540-61064-2}, keywords = {dblp}, pages = {317-329}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:17:33.000+0200}, title = {Untyped Lambda-Calculus with Input-Output.}, url = {http://dblp.uni-trier.de/db/conf/caap/caap96.html#TiurynW96}, volume = 1059, year = 1996 }