228 followers Verification papers @verif_papers Partiality and Recursion in Higher-Order Logic. - Lukasz Czajka 0001 http://t.co/3pxF7zHtZ9 16 Jun 2015 Reply Repost Favourite