Geometría de la Interacción

Un marco semántico que interpreta la reducción de pruebas (eliminación de cortes) como un flujo dinámico o interacción de información, a menudo modelado por operadores, trazas o máquinas de fichas que siguen el movimiento de la información a través de una red de prueba.