Αποστολή με SMS: Linking Game-Theoretical Approaches with Constructive Type Theory