Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 10

Results: 2
    1

    Monoidal reverse differential categories.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 10, p. 1313, doi. 10.1017/S096012952200038X
    By:
    • Cruttwell, Geoff;
    • Gallagher, Jonathan;
    • Lemay, Jean-Simon Pacaud;
    • Pronk, Dorette
    Publication type:
    Article
    2

    From type theory to setoids and back.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 10, p. 1283, doi. 10.1017/S0960129521000189
    By:
    • Palmgren, Erik
    Publication type:
    Article