Partiality and Recursion in Higher-Order Logic.

Lukasz Czajka

Browse the full FOSSACS paper archive.