Adjunction Models For Call-By-Push-Value With Stacks

Paul Blain Levy. Adjunction Models For Call-By-Push-Value With Stacks. Electronic Notes in Theoretical Computer Science, 69:248-271, 2002. [doi]

Abstract

Abstract is missing.