Dybjer, Peter

1. Categories with Families: Unityped, Simply Typed, and Dependently Typed
   2019/04/01 by Castellan, Simon, Clairambault, Pierre, Dybjer, Peter · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. 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)