• RecordNumber
    1497
  • Author

    Gerard Huet

  • Title

    Logical foundations of functional programming

  • Publication
    Addison-Wesley
  • Publication Year
    1990
  • Collation
    493
  • ISBN
    0201172348