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

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 *