User blog comment:KurohaKafka/The Strength of Type Theory/@comment-32876686-20171020190557

What is type theory ?