Proofs-as-programs for symmetric categorial grammar

    Activity: Talk or presentation › Invited talk › Academic

    Period28 Oct 2008
    Event titleBrouwer seminar
    Event typeOther
    LocationNijmegenShow on map