Found: 2

Select item for more details and to access through your institution.

  • Dilations and information flow axioms in categorical probability.

    Published in:
    Mathematical Structures in Computer Science, 2023, v. 33, n. 10, p. 913, doi. 10.1017/S0960129523000324
    By:
    • Fritz, Tobias;
    • Gonda, Tomáš;
    • Houghton-Larsen, Nicholas Gauguin;
    • Lorenzin, Antonio;
    • Perrone, Paolo;
    • Stein, Dario
    Publication type:
    Article

  • 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