On full abstraction for PCF: I, II and III (Q1854393)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On full abstraction for PCF: I, II and III
scientific article

    Statements

    On full abstraction for PCF: I, II and III (English)
    0 references
    0 references
    14 January 2003
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    fully abstract model
    0 references
    PCF
    0 references
    model of computation
    0 references
    dialogue game
    0 references
    0 references