Bokus

Guy McCusker – författare

Visar alla böcker från författaren Guy McCusker. Handla med fri frakt och snabb leverans.

3 produkter

  1. Guy McCusker - Games and Full Abstraction for a Functional Metalanguage with Recursive Types, E-bok. Tillgänglighet: Lägg i varukorg

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Av Guy McCusker

    E-bok, 2012

    755 kr

    Lägg i varukorg

    This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the …

  2. Guy McCusker - Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Häftad. Tillgänglighet: Lägg i varukorg

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Av Guy McCusker

    Häftad, 2012

    568 kr

    Lägg i varukorg

    This book is a minor revision of the thesis submitted in August 1996; no major changes have been made. However, I would like to take this opportunity to mention that since the thesis was written, discoveries have been made which would allow a substantial simplification and strengthening of the …

  3. Guy McCusker - Games and Full Abstraction for a Functional Metalanguage with Recursive Types, Inbunden. Tillgänglighet: Lägg i varukorg

    Games and Full Abstraction for a Functional Metalanguage with Recursive Types

    Av Guy McCusker

    Inbunden, 1998

    879 kr

    Lägg i varukorg

    1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.