Linear Logic: Proof Nets
Proofs as graphs — the geometry of interaction (Girard 1987)
Connectives
Proof Net
Cut Elimination
Geometry of Interaction