Clairambault, Pierre

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. The Cartesian Closed Bicategory of Thin Spans of Groupoids
   2023/01/27 by Pierre Clairambault, Simon Forest, Clairambault, Pierre +1 · 1 citation
   Computer Science · #Logic, programming, and type systems #Computability, Logic, AI Algorithms #Logic, Reasoning, and Knowledge