On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments (Long Version)

Ugo Dal Lago, Giulia Giusti

A system of session types is introduced as induced by a Curry Howard correspondence applied to Bounded Linear Logic, and then extending the thus obtained type system with probabili…