2013年
Intersection Types for Normalization and Verification (Invited Talk).
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India
- 開始ページ
- 41
- 終了ページ
- 42
- 出版者・発行元
- Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
- リンク情報
- ID情報
-
- DBLP ID : conf/fsttcs/Terui13