Session type: Plenary

X