Xavier Montillet
Xavier Montillet
Home
Manuscripts
Drafts
Talks
Light
Dark
Automatic
Manuscripts
Type
Uncategorized
Report
Thesis
Date
2017
0001
Open call-by-push-value
Weak reduction for open term in call-by-push-value via a polarised intuitionnistic abstract-machine-like calculi
Xavier Montillet
Report
Report (initial version)
Slides
Untyped polarized calculi
Xavier Montillet
Thesis v0.9.3
Cite
×