TY - BOOK AU - Bruce, Kim B. TI - Foundations of object-oriented languages: : types and semantics SN - 8120324560 U1 - 005.117 BRU PY - 2002/// CY - Delhi PB - : MIT Press, KW - Object-oriented programming languages KW - Langages orientés objet (Informatique) KW - The Lambda Calculus KW - Bruce, Kim B KW - Computer Science ER -