Bezem, Marc
- The univalence axiom in cubical sets
2017/10/30 by Bezem, Marc, Coquand, Thierry, Huber, Simon · 1 citation
#FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)
- A Note on Generalized Algebraic Theories and Categories with Families
2020/12/15 by Bezem, Marc, Coquand, Thierry, Dybjer, Peter +1 · 1 citation
#03G30 #Category Theory (math.CT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)