• Record number
    4113
  • Author

    Guy McCusker

  • Creator Role
    نويسنده
  • Title

    Games and Full Abstraction for a Functional Metalanguage with Recurisve Types

  • Publication
    UK Springer
  • Published Year
    1998
  • Fierst Pages
    0
  • Main Pages
    189
  • Collation
    189
  • Notes
    005.13^cM35 , Glossary
  • Reprint
    False
  • Contents
    0
  • Print issue
    0
  • Subject

    Functional Programming Languages+Game Theory+Recursive Functions+Preliminaries+Rational Categories and recursive Types+FPC and its Models+Full Abstraction

  • Class
    005.13
  • CutterNumber
    M35
  • Language
    انگليسي
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=7&DC=4113