Nondeterminism and language design in deep inference

Ozan Kahramanogullari. Nondeterminism and language design in deep inference. PhD thesis, Dresden University of Technology, 2007. [doi]

Abstract

Abstract is missing.