1. A unified view of modalities in type systems
2. Generalizing Inference Systems by Coaxioms
3. Reasoning on divergent computations with coaxioms
4. Syntax and Semantics of Quantitative Type Theory
5. Riccardo Bianchini , Francesco Dagnino , Paola Giannini , and Elena Zucca . 2022 . A Java-Like Calculus with User-Defined Coeffects. In ICTCS’22 - Italian Conf. on Theoretical Computer Science, Ugo Dal Lago and Daniele Gorla (Eds.). 3284 , CEUR-WS.org, 66–78. https://ceur-ws.org/Vol-3284/8563.pdf Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. 2022. A Java-Like Calculus with User-Defined Coeffects. In ICTCS’22 - Italian Conf. on Theoretical Computer Science, Ugo Dal Lago and Daniele Gorla (Eds.). 3284, CEUR-WS.org, 66–78. https://ceur-ws.org/Vol-3284/8563.pdf