@book{
183-595126723,
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 = {},
series = {664},
author = {Bezem, Marc},
editor = {Bezem, Marc},
address = {Berlin u.a.},
publisher = {Springer},
year = {1993},
isbn = {9783540475866},
language = {English},
note = {Literaturangaben},
url = {http://www.springerlink.com/content/m65g43120w1h},
url = {http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-56517-8},
url = {http://dx.doi.org/10.1007/BFb0037093},
url = {https://doi.org/10.1007/BFb0037093},
url = {https://zbmath.org/?q=an:0866.00038},
url = {https://katalog.fid-bbi.de/Record/183-595126723}
}