Programming with Math (Exploring Type Theory)

Name: Programming with Math (Exploring Type Theory)
Uploaded: 2019-05-01T00:00:00.000Z
Duration: 2531 s
Description: Video Programming with Math (Exploring Type Theory)

(link)

Channel: Coding Tech