Monday, October 26, 2020

Homotopy Type Theory [pdf]

By October 26, 2020 , No comments

Article URL: https://hottheory.files.wordpress.com/2012/08/hott2.pdf

Comments URL: https://news.ycombinator.com/item?id=24902852

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/2J1fWlI

0 comments:

Post a Comment