Unifying programming and math : the dependent type revolution

Advertisements
This entry was posted in Philosophie. Bookmark the permalink.