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

Results: 4
    1
    2

    Syntax and models of Cartesian cubical type theory.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 424, doi. 10.1017/S0960129521000347
    By:
    • Angiuli, Carlo;
    • Brunerie, Guillaume;
    • Coquand, Thierry;
    • Harper, Robert;
    • Hou, Kuen-Bang;
    • Licata, Daniel R.
    Publication type:
    Article
    3
    4

    Modal descent.

    Published in:
    Mathematical Structures in Computer Science, 2022, v. 32, n. 4, p. 363, doi. 10.1017/S0960129520000201
    By:
    • Cherubini, Felix;
    • Rijke, Egbert
    Publication type:
    Article