スポンサーリンク

IT Planning Inc. | 論文

• A Session Type System with Subject Reduction

スポンサーリンク