Neumann, Jacob

1. Synthetic 1-Categories in Directed Type Theory
   2024/10/25 by Altenkirch, Thorsten, Neumann, Jacob · 3 citations
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO)