geometry of interaction

E2074825 UNEXPLORED

Geometry of interaction is a semantic framework in proof theory and linear logic that models the dynamic process of cut-elimination and information flow in computations.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
geometry of interaction canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Jean-Yves Girard → knownFor → geometry of interaction ⓘ