Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 9

Results: 10
    1
    2

    Three improvements to the top-down solver.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 1090, doi. 10.1017/S0960129521000499
    By:
    • Seidl, Helmut;
    • Vogler, Ralf
    Publication type:
    Article
    3
    4

    Algebras of UTxO blockchains.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 1034, doi. 10.1017/S0960129521000438
    By:
    • Gabbay, Murdoch J.
    Publication type:
    Article
    5

    Constructive sheaf models of type theory.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 979, doi. 10.1017/S0960129521000359
    By:
    • Coquand, Thierry;
    • Ruch, Fabian;
    • Sattler, Christian
    Publication type:
    Article
    6

    Elementary fibrations of enriched groupoids.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 958, doi. 10.1017/S096012952100030X
    By:
    • Emmenegger, Jacopo;
    • Pasquali, Fabio;
    • Rosolini, Giuseppe
    Publication type:
    Article
    7
    8
    9
    10

    The genesis of the groupoid model.

    Published in:
    Mathematical Structures in Computer Science, 2021, v. 31, n. 9, p. 1003, doi. 10.1017/S0960129520000286
    By:
    • Streicher, Thomas
    Publication type:
    Article