Ritter, Eike
- Categorical Proof-Theoretic Semantics
2023/02/17 by Pym, David, Ritter, Eike, Robinson, Edmund · 3 citations
#Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)