1 paper · 1 filter
Benjamin Bennetzen, Nikolaj Rossander Kristensen, Peter Buus Steffensen
In this report we define an encoding of Levys call-by-push-value lambda-calculus (CBPV) in the pi-calculus, and prove that our encoding is both sound and complete. We present infor…