- From Shelah's block-content to Hales-Jewett
2021/04/13 by Mohammad Golshani, Golshani, Mohammad, Mostafa Mirabi +2 · 1 citation
Mathematics · #03D20 #05A17 #Advanced Combinatorial Mathematics #Advanced Mathematical Identities #Analytic Number Theory Research #Combinatorics (math.CO) #FOS: Mathematics
- The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits
2013/05/01 by David I. Spivak, Spivak, David I. · 4 citations
Computer Science · #03B10 #03B70 #03D20 #18A15 #18B10 #18D50 #68P15 #94C99 #B.6 #Category Theory (math.CT) #D.1.6 #D.3.3 #Databases (cs.DB) #E.1 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #G.2.2 #G.4 #H.2.1 #H.2.3 #H.5 #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems