draft

Solvability in a polarized calculus

Operational characterization of solvability in a bi-typed λ-calculus with mixed evaluation order

Untyped polarized calculi

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

Solvability in a polarized calculus

Operationally characterization of solvability in a polarized abstract-machine-like calculus

Open call-by-push-value

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