Call-by-push-value

Paul Blain Levy. Call-by-push-value. PhD thesis, Queen Mary University of London, UK, 2001. [doi]

Abstract

Abstract is missing.