6 citations · 8 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2014★ 2 cited
Study of Behaviours via Visitable Paths
Christophe Fouqueré, Myriam Quatrini
Around 2000, J.-Y. Girard developed a logical theory, called Ludics. This theory was a step in his program of Geometry of Interaction, the aim of which being to account for the dyn…
cs.LO2013★ 6 cited
Incarnation in Ludics and maximal cliques of paths
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…