Pages that link to "Geometry of interaction"

The following pages link to Geometry of interaction:

Displaying 11 items.

• Index of philosophy articles (D–H) (links)
• Jean-Yves Girard (links)
• Linear logic (links)
• Affine logic (links)
• Samson Abramsky (links)
• Proof net (links)
• Interaction nets (links)
• Geometry of Interaction (redirect page) (links)
  • Evaluation strategy (links)
• Realizability (links)
• User:Brighterorange (links)
• Wiki143:WikiProject Mathematics/List of mathematics articles (G) (links)