Akimitsu Jun | Department of Physics, Aoyama Gakuin University, 6–16–1 Chitosedai, Setagaya, Tokyo 157
スポンサーリンク
概要
- Akimitsu Junの詳細を見る
- 同名の論文著者
- Department of Physics, Aoyama Gakuin University, 6–16–1 Chitosedai, Setagaya, Tokyo 157の論文著者
論文 | ランダム
- Constructive Data Refinementの証明技法の改善
- 二階文脈計算(プログラミング及びプログラミング言語)
- 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
- 型情報を一部明示した環境計算体系
- A Second Order Typed Context Calculus