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

Finn Lawler

  1. Fibrations of predicates and bicategories of relations
    2015/02/27 by Finn Lawler, Lawler, Finn · 1 citation
    Computer Science · Mathematics · #Homotopy and Cohomology in Algebraic Topology #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #math.CT