Optimality in Lambda- calculus

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period11 Jun 2002
    Event titleLunch-seminar Theoretische Filosofie UU
    Event typeOther
    LocationUtrechtShow on map