Solvability

Solvability in a polarized calculus

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

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