244 followers Verification papers @verif_papers Axiomatization of Typed First-Order Logic. - Peter H. Schmitt, Mattias Ulbrich http://t.co/Dwx0N1T9Xq 28 May 2015 Reply Repost Favourite