Computer

Propositions as Types – Computerphile

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory Thanks to Lily the dog! http://www.facebook.com/computerphile https://twitter.com/computer_…

Products You May Like

Articles You May Like

If There’s Acid Rain, Is There Basic Rain?
It’s True: The Sun Really Does Flash Green
Why it’s not a British royal wedding without fancy hats
How I turn negative online comments into positive offline conversations | Dylan Marron
Right-wing politics has a new secret weapon. Can the Left harness it? | Jeremy Heimans

Leave a Reply

Your email address will not be published. Required fields are marked *