Zanasi Fabio
- Interacting Hopf Algebras: the Theory of Linear Systems
2015/01/01 by Fabio Zanasi, Zanasi, Fabio, Zanasi Fabio · 2 citations
Computer Science · #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Rings and Algebras (math.RA)