This secondment was related to Task 2.5 in WP2. A characterisation of multiparty session types in intuitionistic linear logic was explored.
This secondment was related to Task 2.5 in WP2. A characterisation of multiparty session types in intuitionistic linear logic was explored.