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