6 citations · 9 across the 5 of their papers we have counts for
1 paper · 1 filter
Myriam Quatrini, Christophe Fouqueré
Ludics is a reconstruction of logic with interaction as a primitive notion, in the sense that the primary logical concepts are no more formulas and proofs but cut-elimination inter…