Lambda-calculus with an end-of-scope operator

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period1 Nov 2002
    Event titleComputer Science Seminar
    Event typeOther
    LocationUniversity of Leicester, EngelandShow on map