On the Expressivity of Typed Concurrent Calculi
<|reference_start|>On the Expressivity of Typed Concurrent Calculi: This thesis embarks on a comprehensive exploration of formal computational models that underlie typed programming languages. We focus on programming calculi, both functional (sequential) and concurrent, as they provide a compelling rigorous framework for evaluating program semantics and for developing analyses and program verification techniques. This is the full version of the thesis containing appendices.<|reference_end|>
@article{paulus2024on,
    title={On the Expressivity of Typed Concurrent Calculi},
    author={Joseph William Neal Paulus},
    journal={arXiv preprint arXiv:2408.07915},
    year={2024},
    archivePrefix={arXiv},
    eprint={2408.07915},
    primaryClass={cs.LO cs.PL}
}