DiCosmo, R. (1995). Isomorhisms of types: From [lambda]-calculus to information retrieval and language design. Birkhäuser.
Chicago-Zitierstil (17. Ausg.)DiCosmo, Roberto. Isomorhisms of Types: From [lambda]-calculus to Information Retrieval and Language Design. Boston [u. a.]: Birkhäuser, 1995.
MLA-Zitierstil (9. Ausg.)DiCosmo, Roberto. Isomorhisms of Types: From [lambda]-calculus to Information Retrieval and Language Design. Birkhäuser, 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.