Works matching IS 09601295 AND DT 2024 AND VI 34 AND IP 7

Results: 5
    1

    Foreword.

    Published in:
    2024
    By:
    • Curien, Pierre-Louis
    Publication type:
    Editorial
    2

    Universal algebra in UniMath.

    Published in:
    Mathematical Structures in Computer Science, 2024, v. 34, n. 7, p. 869, doi. 10.1017/S0960129524000367
    By:
    • Amato, Gianluca;
    • Calosci, Matteo;
    • Maggesi, Marco;
    • Perini Brogi, Cosimo
    Publication type:
    Article
    3
    4
    5