6,887 followers
@urosn @yminsky Not a book, but some relevant papers are: https://t.co/kauvQnJ4QK https://t.co/vmQgFtFQJK https://t.co/BEd04eDQrG https://t.co/4Dh5g3MQgi
@urosn @yminsky Not a book, but some relevant papers are: https://t.co/kauvQnJ4QK https://t.co/vmQgFtFQJK https://t.co/BEd04eDQrG https://t.co/4Dh5g3MQgi
Partiality and Recursion in Higher-Order Logic. - Lukasz Czajka 0001 http://t.co/3pxF7zHtZ9