Session details: Curry-Howard and compatibility checking