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

Results: 3
    1
    2

    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
    3

    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