Propositions as Types – Computerphile

Mathematics once again meets Computer Science as Professor Altenkirch continues to discuss Type Theory Thanks to Lily the dog!…

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 *