Homotopy Type Theory and Higher Inductive Types

Article URL: http://ift.tt/2CNSjIM

Comments URL: http://ift.tt/2m2p4Yf

Points: 53

# Comments: 8

from Hacker News: Front Page http://ift.tt/2CNSjIM
via