Géométrie de L'Interaction

Un cadre sémantique qui interprète la réduction de preuves (élimination des coupures) comme un flux dynamique ou une interaction d'information, souvent modélisé par des opérateurs, des traces ou des machines à jetons suivant le déplacement d'information dans un réseau de preuve.