ピエール・フォシャール著「歯科外科医」

スポンサーリンク

概要

• 論文の詳細を見る
• 1982-08-20

論文 | ランダム

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

もっと見る

スポンサーリンク