From Bohm's Theorem to Observational Equivalences: an Informal Account
A Lambda Model Characterizing Computational Behaviours of Terms
Characterising Strong Normalisation for Explicit Substitutions
Intersection Types: an Introduction
Boxed Ambients with Communication Interfaces
A Distributed Object-Oriented Language with Session Types
Session Types and Object Oriented Programming
Sessions and Session Types: an Introduction
A Reputation System for Multirole Sessions