Geometry of Interaction

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A semantic framework that interprets proof reduction (cut-elimination) as a dynamic flow or interaction of information, often modeled by operators, traces, or token machines that track the movement of information through a proof network.