Modelling session types using contracts

Session types and contracts are two formalisms used to study client-server interactions. In this talk we show the relationship between them. In particular, we will show a natural interpretation of session types into a subset of contracts. This interpretation can be used to define a fully abstract model for the relation of sub-typing on session types.