Call-by-Push-Value

Introduction to a polarized abstract-machine-like calculi, and explanation of its relationship with call-by-push-value

Weak reduction for open term in call-by-push-value via a polarised intuitionnistic abstract-machine-like calculi