Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 10

Results: 2
    1
    2

    Bicategorical type theory: semantics and syntax.

    Published in:
    Mathematical Structures in Computer Science, 2023, v. 33, n. 10, p. 868, doi. 10.1017/S0960129523000312
    By:
    • Ahrens, Benedikt;
    • North, Paige Randall;
    • van der Weide, Niels
    Publication type:
    Article