3,378 followers Ryoma Sin'ya @sinya8282 Asymptotic Densities in Logic and Type Theory https://t.co/Aq93wdyCAD 07 Mar 2017 Reply Repost Favourite