@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}
}