1. André Arnold and John Plaice . 1994. Finite Transition Systems: Semantics of Communicating Systems . Prentice Hall International (UK) Ltd .. André Arnold and John Plaice. 1994. Finite Transition Systems: Semantics of Communicating Systems. Prentice Hall International (UK) Ltd..
2. Syntax and Semantics of Quantitative Type Theory
3. Riccardo Bianchini , Francesco Dagnino , Paola Giannini , and Elena Zucca . 2023 . Multi-graded Featherweight Java. In European Conference on Object-Oriented Programming, ECOOP 2023 (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. To appear, available at arxiv:2302 .07782 Riccardo Bianchini, Francesco Dagnino, Paola Giannini, and Elena Zucca. 2023. Multi-graded Featherweight Java. In European Conference on Object-Oriented Programming, ECOOP 2023 (LIPIcs). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. To appear, available at arxiv:2302.07782
4. A Core Quantitative Coeffect Calculus
5. A graded dependent type system with a usage-aware semantics