BETTY Papers at PLACES 2014
Most of the papers at this year's PLACES workshop are by BETTY authors. Congratulations to all. We are looking forward to a good meeting.
- Dimitris Mostrous. Multiparty Sessions based on Proof Nets.
- Sam Lindley and J. Garrett Morris. Sessions as Propositions.
- Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions.
- Dimitrios Kouzapas, Ramūnas Gutkovas and Simon Gay. Session Types for Broadcasting.
- Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors.
- Tzu-Chun Chen. Lightening Global Types.
- Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantović. Session Type Isomorphisms.