vix.ing · top · new · best · stats · spec

Karen Sargsyan

  1. A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus
    2026/07/17 by Karen Sargsyan
    #cs.LO #cs.AI #math.CT