@book{ 183-1649297599, title = {Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands. Proceedings}, series = {Lecture Notes in Computer Science}, series = {664}, author = {Bezem, Marc and Groote, Jan Friso}, editor = {Groote, Jan Friso}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg}, year = {1993}, isbn = {9783540475866}, language = {English}, url = {https://doi.org/10.1007/BFb0037093}, url = {https://swbplus.bsz-bw.de/bsz322905400cov.jpg}, url = {https://zbmath.org/?q=an:0866.00038}, url = {https://katalog.fid-bbi.de/Record/183-1649297599} }