稚内の街から (portfolio 文化と社会)

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• Constructive Data Refinementの証明技法の改善
• 二階文脈計算(プログラミング及びプログラミング言語)
• 定理証明システムCoq上でのPre Logical Relationを用いた詳細化の正しさの証明
• 型情報を一部明示した環境計算体系
• A Second Order Typed Context Calculus

もっと見る

スポンサーリンク