• Collation
    xvi, 491 P
  • Addition
    ,
  • Title

    Logical foundations of functional programming

  • LC Class
    005
  • LC Number
    .11
  • LC CutterNumber
    L 832
  • Publication Year
    1990
  • Publication
    Addison-Wesley
  • Subject

    Functional programming (computer science)

  • Editor
    Gerard Huet
  • DocumentNumber
    1641
  • ISBNN
    , 1 , 5435 , 2-1
  • RecordNumber
    684
    • Link To Document
    https://lib.kashanu.ac.ir//dl/search/default.aspx?Term=684&Field=0&DTC=2