2 research outputs found

    Type systems for modular programs and specifications

    Get PDF

    総研大ニューズレター 第108号(2017年6月)

    Get PDF
    目次/今月のトピックス:「湘南国際村フェスティバル2017 広報社会連携室」「学融合推進センター研究事業 グローバル共同研究プロジェクト国際シンポジウムについて 生命共生体進化学専攻・准教授 田辺秀之」「遺伝学専攻 大学院一日体験会を開催 遺伝学専攻」「生命共生体進化学専攻講演会・説明会の開催について 生命共生体進化学専攻」「受賞・採択情報/イベント情報:総研大の行事・基盤機関の行事(6月~7月)/編集後記
    corecore