慶應義塾大学自然科学研究教育センター
ナビゲーションをスキップ
Shirahata M.(2006) The Dialectica interpretation of first-order classical affine logic Theory and Applications of Categories
Keio University Hiyoshi Campus