Leon Chwistek, a Founder of Type Theory http://xahlee.info/comp/blog_past_2017-11.html #haskell #ocaml