Left-handed completeness

Dexter Kozen, Alexandra Silva 0001. Left-handed completeness. Theoretical Computer Science, 807:220-233, 2020. [doi]

Abstract

Abstract is missing.