• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Games and Full Abstraction for a Functional Metalanguage with Recursive Types

Hardcover

Series: CSCW: Computer Supported Cooperative Work

FictionProgramming

ISBN10: 3540762558
ISBN13: 9783540762553
Publisher: Springer Nature
Published: Jul 31 1998
Pages: 208
Weight: 1.03
Height: 0.50 Width: 6.14 Depth: 9.21
Language: English
1 Introduction.- 2 Preliminaries.- 3 Games.- 4 Rational Categories and Recursive Types.- 5 FPC and its Models.- 6 Full Abstraction.- 7 Conclusions.

Also in

Fiction