Introduction to type-theory

  • Mana Kobuchi (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period15 Jun 2007
    Event titleCourse given by Prof. Kato
    Event typeOther
    LocationSophia University, TokyoShow on map