PODCAST

Iowa Type Theory Commute

Aaron Stump talks about type theory, computational logic, and related topics in Computer Science on his short commute.

technology mathematics

All Episodes

8:02

Computer-checked proofs about software

Iowa Type Theory Commute ·

2019/11/24

en-us

13:41

More on Computer-Checked Proofs

Iowa Type Theory Commute ·

2019/11/22

en-us

14:06

Computer-checked proofs

Iowa Type Theory Commute ·

2019/11/21

en-us

183 results