The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)
スポンサーリンク
概要
著者
関連論文
- オメガ正規言語の測度が有理数であること
- The measure of an omega regular language is rational (Algebraic Semigroups, Formal Languages and Computation)
- The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory)
- The Area of Figures Representable by Buchi Automata (Algebraic Systems, Formal Languages and Computations)