Works matching IS 03050041 AND DT 2020 AND VI 169 AND IP 1


Results: 11
    1
    2
    3

    Triforce and corners.

    Published in:
    Mathematical Proceedings of the Cambridge Philosophical Society, 2020, v. 169, n. 1, p. 209, doi. 10.1017/S0305004119000173
    By:
    • FOX, JACOB;
    • SAH, ASHWIN;
    • SAWHNEY, MEHTAAB;
    • STONER, DAVID;
    • ZHAO, YUFEI
    Publication type:
    Article
    4

    Semantics of higher inductive types.

    Published in:
    Mathematical Proceedings of the Cambridge Philosophical Society, 2020, v. 169, n. 1, p. 159, doi. 10.1017/S030500411900015X
    By:
    • LUMSDAINE, PETER LEFANU;
    • SHULMAN, MICHAEL
    Publication type:
    Article
    5
    6
    7

    Chebyshev's bias for analytic L-functions.

    Published in:
    Mathematical Proceedings of the Cambridge Philosophical Society, 2020, v. 169, n. 1, p. 103, doi. 10.1017/S0305004119000100
    By:
    • DEVIN, LUCILE
    Publication type:
    Article
    8
    9
    10
    11

    Multisets in type theory.

    Published in:
    Mathematical Proceedings of the Cambridge Philosophical Society, 2020, v. 169, n. 1, p. 1, doi. 10.1017/S0305004119000045
    By:
    • GYLTERUD, HÅKON ROBBESTAD
    Publication type:
    Article