Geometrie der Interaktion

Ein semantischer Rahmen, der Beweisreduktion (Cut-Elimination) als dynamischen Fluss oder Interaktion von Information interpretiert, oft modelliert durch Operatoren, Spuren oder Tokenmaschinen, die die Bewegung von Information durch ein Beweisnetz verfolgen.