Dubois, Catherine

1. Dedukti: a Logical Framework based on the \λ\Π-Calculus Modulo\n Theory
   2023/11/13 by Ali Assaf, Guillaume Burel, Assaf, Ali +17 · 3 citations
   Computer Science · #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation
2. Formally Verified Transformation of Non-binary Constraints into Binary Constraints
   2020/09/01 by Dubois, Catherine · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)