RT @andrejbauer: @arxiv_cslo I'm sure @taooftypes enjoys pitting set theory against type theory, but let's avoid FOM-list style sillines fr…
1,901 followers
6,818 followers
@arxiv_cslo I'm sure @taooftypes enjoys pitting set theory against type theory, but let's avoid FOM-list style sillines from 1990's, shall we? To counter-balance the viewpoint, I recommend Steve Awodey's “From Sets to Types, to Categories, to Sets” https:/
5,858 followers
KİTAP Foundational Theories of Classical and Constructive Mathematics http://t.co/Y42tVLkHb8
11,635 followers
KİTAP Foundational Theories of Classical and Constructive Mathematics http://t.co/Y42tVLkHb8