درحال بارگذاري...
ارسال به دوستان
 فهرست مطالب
 فهرست نقدها
 فهرست نسخه های منبع
  1. Lambda-calculus and combinators, an introduction
Lambda-calculus and combinators, an introduction
203 مرتبه مشاهده شده

Lambda-calculus and combinators, an introduction

Hindley, J. Roger.

  1. ISBN:9780521898850
  2. Call Number : QA 9 .5 .H565 2008
  3. Main Entry: Hindley, J. Roger.
  4. Title:Lambda-calculus and combinators, an introduction / J. Roger Hindley, Jonathan P. Seldin.
  5. Publisher:Cambridge, UK : Cambridge University Press, 2008.
  6. Physical Description:xi, 345 p.: ill.; 24 cm
  7. Notes:Includes bibliographical references and index
  8. Subject:Lambda calculus.
  9. Subject:Combinatory logic.
  10. Added Entry:Seldin, J. P.
  11. Added Entry:Title.

 فهرست نسخه های منبع

 فهرست نقدها