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

Results: 4
    1
    2

    A cubical Squier's theorem.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 2, p. 159, doi. 10.1017/S0960129520000018
    By:
    • Lucas, Maxime
    Publication type:
    Article
    3
    4

    Modal dependent type theory and dependent right adjoints.

    Published in:
    Mathematical Structures in Computer Science, 2020, v. 30, n. 2, p. 118, doi. 10.1017/S0960129519000197
    By:
    • Birkedal, Lars;
    • Clouston, Ranald;
    • Mannaa, Bassel;
    • Ejlers Møgelberg, Rasmus;
    • Pitts, Andrew M.;
    • Spitters, Bas
    Publication type:
    Article