00584nam 2228734 450000100060000000300230000600500090002900800410003808200110007907200530009002000180014310000160016126000250017725000060020224500470020865000530025565000370030865000470034528734StarLibrary Marc Built20180430201711 ||||| |||||||||||amh  a005.13 aformal descriptions of object-oriented languages a81-203-2456-0 aKim B.Bruce bHall Of India c2002 a2 afoundations of object - oriented languages aformal descriptions of object-oriented languages afoundations: the lambda calculus atype problems in object-oriented languages