Inklings: Type systems and logic

Type systems and logic

🕑 2020-03-27T02:46:24+00:00; via news.ycombinator.com; try the Wayback Machine | edit

An important result in computer science and type theory is that a type system corresponds to a particular logic system.