3 ms·Interestingly, there's no mention of type theory in Foundations or Compuer Science.by tpush 12y agoInterestingly, there's no mention of type theory in Foundations or Compuer Science.