Works matching IS 00246115 AND DT 2011 AND VI 102 AND IP 2


Results: 6
    1
    2
    3
    4

    Types are weak ω-groupoids.

    Published in:
    Proceedings of the London Mathematical Society, 2011, v. 102, n. 2, p. 370, doi. 10.1112/plms/pdq026
    By:
    • van den Berg, Benno;
    • Garner, Richard
    Publication type:
    Article
    5
    6