@book{
183-122886372,
title = {Typed lambda calculi and applications: proceedings},
series = {Lecture notes in computer science},
series = {664},
author = {Bezem, Marc and Groote, Jan Friso},
editor = {Bezem, Marc},
editor = {Groote, Jan Friso},
address = {Berlin},
publisher = {Springer},
year = {1993},
isbn = {3540565175},
isbn = {0387565175},
language = {English},
note = {Literaturangaben},
url = {https://swbplus.bsz-bw.de/bsz032526318cov.jpg},
url = {https://zbmath.org/?q=an:0866.00038},
url = {https://katalog.fid-bbi.de/Record/183-122886372}
}