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

Matěj Dostál

  1. A categorical view of varieties of ordered algebras
    2020/11/27 by Jiřı́ Adámek, Adámek, J., Matěj Dostál +3 · 1 citation
    Computer Science · #18C15 #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Logic, Reasoning, and Knowledge #Logic, programming, and type systems