Xavier Montillet
Xavier Montillet
Home
Manuscripts
Drafts
Talks
Light
Dark
Automatic
call-by-push-value
Untyped polarized calculi
Introduction to a polarized abstract-machine-like calculi, and explanation of its relationship with call-by-push-value
Open call-by-push-value
Weak reduction for open term in call-by-push-value via a polarised intuitionnistic abstract-machine-like calculi
Cite
×