Posts Tagged "linear logic"

Return to blog

An Introduction to Girard's Geometry of Interaction

A mathematical abstraction of proofs for an autonomous explanation of logic