Works matching IS 09601295 AND DT 2015 AND VI 25 AND IP 5

Results: 11
    1
    2
    3

    Sets in homotopy type theory.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1172, doi. 10.1017/S0960129514000553
    By:
    • RIJKE, EGBERT;
    • SPITTERS, BAS
    Publication type:
    Article
    4

    A univalent formalization of the p-adic numbers.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1147, doi. 10.1017/S0960129514000541
    By:
    • PELAYO, ÁLVARO;
    • VOEVODSKY, VLADIMIR;
    • WARREN, MICHAEL A.
    Publication type:
    Article
    5
    6
    7

    W-types in homotopy type theory.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1100, doi. 10.1017/S0960129514000516
    By:
    • VAN DEN BERG, BENNO;
    • MOERDIJK, IEKE
    Publication type:
    Article
    8
    9

    Homotopy limits in type theory.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1040, doi. 10.1017/S0960129514000498
    By:
    • AVIGAD, JEREMY;
    • KAPULKIN, KRZYSZTOF;
    • LUMSDAINE, PETER LEFANU
    Publication type:
    Article
    10

    Univalent categories and the Rezk completion.

    Published in:
    Mathematical Structures in Computer Science, 2015, v. 25, n. 5, p. 1010, doi. 10.1017/S0960129514000486
    By:
    • AHRENS, BENEDIKT;
    • KAPULKIN, KRZYSZTOF;
    • SHULMAN, MICHAEL
    Publication type:
    Article
    11