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

1. From type theory to setoids and back
   2019/09/03 by Palmgren, Erik · 3 citations
   #03B15 #03B35 #03E70 #03F50 #FOS: Mathematics #Logic (math.LO)
2. Separating Path and Identity Types in Presheaf Models of Univalent Type Theory
   2018/08/02 by Andrew Swan, Swan, Andrew · 1 citation
   Computer Science · Mathematics · #03F50 #55U35 #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO) #Logic, programming, and type systems
3. A predicative variant of Hyland's Effective Topos
   2018/06/22 by Maietti, Maria Emilia, Maschio, Samuele · 1 citation
   #03D70 #03F50 #18C99 #18D30 #FOS: Mathematics #Logic (math.LO)
4. On Dividing by Two in Constructive Mathematics
   2018/04/12 by Swan, Andrew · 1 citation
   #03E10 #03F50 #03G30 #Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
5. Lifting Problems in Grothendieck Fibrations
   2018/02/07 by Andrew Swan, Swan, Andrew · 4 citations
   Engineering · Mathematics · #03F50 #03G30 #55U35 #Advanced Numerical Analysis Techniques #Algebraic Topology (math.AT) #Category Theory (math.CT) #Dynamics and Control of Mechanical Systems #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)
6. Path categories and propositional identity types
   2016/04/20 by Benno van den Berg, Berg, Benno van den · 1 citation
   Computer Science · Mathematics · #03F50 #03G30 #18C50 #18G55 #68N18 #68Q55 #Category Theory (math.CT) #F.4.1 #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
7. B-systems
   2014/10/20 by Voevodsky, Vladimir · 1 citation
   #03B15 #03B22 #03F50 #03G25 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
8. Quotient completion for the foundation of constructive mathematics
   2012/02/05 by Maietti, Maria Emilia, Rosolini, Giuseppe · 2 citations
   #03F50 #03G30 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
9. A functional interpretation for nonstandard arithmetic
   2011/09/14 by Berg, Benno van den, Briseid, Eyvind, Safarik, Pavol · 1 citation
   #03F10 #03F30 #03F50 #11U10 #26E35 #FOS: Mathematics #Logic (math.LO)