1,587 followers sclv @sclv @jonsterling oh and this too! https://t.co/fewWjcAe5l 29 Dec 2015 Reply Repost Favourite
994 followers yyyy/mm/dd @Zahlangabeheft Sommaruga (2000), History and Philosophy of Constructive Type Theory https://t.co/0YtWXDEHGP 27 Dec 2015 Reply Repost Favourite