• RecordNumber
    44329
  • Author

    Gerard Huet

  • Title

    Logical foundations of functional programming

  • Publication
    Addison-Wesley
  • Publication Year
    1990
  • Collation
    493
  • نام فايل
    IUST eb-140 -- eb140d26