3つのバイナリセッション型のサブタイピングアルゴリズムとその複雑性分析

セッション型サブタイピングアルゴリズムの複雑性分析を行い、指数関数的な複雑性を持つ従来のアルゴリズムに対し、二次関数的な複雑性を持つ新しいアルゴリズムを提案する。