スポンサーリンク
島根大学総合理工学部数理情報システム学科 | 論文
- $\gamma$-Calculus with Lazy Lists : Extended abstract (Algorithms in Algebraic Systems and Computation Theory)
- Multiple-Conclusion System as Communication Calculus : Informal meaning of proofs as communication terms (Algebraic Systems, Formal Languages and Computations)
- 打切りのある繰返しをもつプログラム構造の形式化
- 強制戻りをもつプログラム構造の形式化