Dinaturality of Simple Subtyping

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• Fujiwara Yasushi

  Systems & Software Engineering Laboratory Research And Development Center Toshiba Corporation

関連論文

• A Nonmonotonic Temporal Logic and Its Kripke Semantics
• Bisimulation as Performance Equivalence Criterion : (max, +) Case (Special Issue on New System Software)
• Dinaturality of Simple Subtyping

スポンサーリンク