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

Why companies should respect our privacy | Kirsten Martin | TEDxCharlottesville
You’re Driving Wrong and It’s Causing Traffic Jams
What’s it like to be a robot? | Leila Takayama
What Is The Earth Worth?
How great leaders develop their grit | Nancy Koehn on building resilience

Leave a Reply

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