Hermida, Claudio

1. From Coherent Structures to Universal Properties
   2000/06/21 by Claudio Hermida, Hermida, Claudio · 2 citations
   Mathematics · #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:18C15 #msc:18C20 #msc:18D05 #msc:18D10 #msc:18D30 #msc:18D35 #msc:18D50
2. Paracategories I: internal parategories and saturated partial algebras
   2003/03/06 by Claudio Hermida, Hermida, Claudio, Paulo Mateus +1 · 2 citations
   Mathematics · #08A02 #08A55 #18C10 #18C15 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #math.CT #msc:08A02 #msc:08A55 #msc:18C10 #msc:18C15
3. Bisimulation as a Logical Relation
   2020/03/30 by Hermida, Claudio, Reddy, Uday, Robinson, Edmund +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)