Curry Howard Correspondence

Philip Wadler - Propositions as Types

Physics, Topology, Logic and Computation: A Rosetta Stone