vix.ing · top · new · best · stats · spec

1. Monoidal closure of Grothendieck constructions via Σ-tractable monoidal structures and Dialectica formulas
   2024/05/13 by Fernando Lucatelli Nunes, Matthijs Vákár, Nunes, Fernando Lucatelli +1 · 1 citation
   Engineering · Mathematics · #03B70 #03F03 #03F52 #18A22 #18A40 #18C10 #18D10 #18F10 #18N10 #68Q55 #Advanced Numerical Analysis Techniques #Category Theory (math.CT) #F.1.1 #F.3.2 #F.3.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #G.2.2 #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #Rings, Modules, and Algebras
2. On Affine Logic and Łukasiewicz Logic
   2014/04/02 by Rob Arthan, Arthan, Rob, Paulo Oliva +1 · 1 citation
   Computer Science · #03B35 #03B47 #03F03 #03F52 #Advanced Algebra and Logic #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
3. Simple free star-autonomous categories and full coherence
   2005/06/25 by Hughes, Dominic · 1 citation
   #03B47 #03F52 #18D10 #18D15 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)