Drafts

Solvability in a polarized calculus

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

Xavier Montillet

Draft

Untyped polarized calculi

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

Xavier Montillet

Draft

Solvability in a polarized calculus

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

Xavier Montillet

Draft