Works matching IS 09601295 AND DT 2020 AND VI 30 AND IP 8

Results: 3

  • From Kruskal's theorem to Friedman's gap condition.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 8, p. 952, doi. 10.1017/S0960129520000298
    By:
    • Freund, Anton
    Publication type:
    Article

  • Dynamic game semantics.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 8, p. 892, doi. 10.1017/S0960129520000250
    By:
    • Yamada, Norihiro;
    • Abramsky, Samson
    Publication type:
    Article

  • Jets and differential linear logic.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 8, p. 865, doi. 10.1017/S0960129520000249
    By:
    • Wallbridge, James
    Publication type:
    Article