HoTT in CACM

44 views
Skip to first unread message

Steve Awodey

unread,
Jan 27, 2014, 2:52:03 PM1/27/14
to cmu-...@googlegroups.com, homotopytypetheory, univalent-foundations@googlegroups.com Foundations
http://cacm.acm.org/magazines/2014/2/171675-a-new-type-of-mathematics/fulltext

Steve Awodey

unread,
Jan 27, 2014, 3:00:57 PM1/27/14
to cmu-...@googlegroups.com, homotopytypetheory, univalent-foundations@googlegroups.com Foundations
For those of you without access to the link:

http://cacm.acm.org/magazines/2014/2/171675-a-new-type-of-mathematics/fulltext

CACM-HoTT.pdf
Reply all
Reply to author
Forward
0 new messages