A subject reduction proof for binary session types
Primary LanguageCoqGNU General Public License v3.0GPL-3.0