(Type Computer Computerphile Mathematics Science Theory) Minggu, 27 Agustus 2017 Computer Science ∩ Mathematics (Type Theory) - Computerphile As computers are used more and more to confirm proofs, is it time to take computer science's contribution to mathematics further? Dr Tho...