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

Results: 3

    • 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

    • 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

    • 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