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

R.F. Blute

  1. Natural deduction and coherence for weakly distributive categories
    1996/12/01 by R.F. Blute, Richard Blute, J.R.B. Cockett +4 · 13 citations
    Computer Science · Mathematics · #Logic, programming, and type systems #Logic, Reasoning, and Knowledge #Homotopy and Cohomology in Algebraic Topology