The atomic lambda-mu calculus

Fanny He. The atomic lambda-mu calculus. PhD thesis, University of Bath, Somerset, UK, 2018. [doi]

Abstract

Abstract is missing.