Dan Marsden
- Category Theory Using String Diagrams
2014/01/28 by Daniel Marsden, Dan Marsden, Marsden, Daniel · 1 voice · 3 citations
Computer Science · #Logic, programming, and type systems #Advanced Database Systems and Queries #Logic, Reasoning, and Knowledge