']' or Extending the lambda calculus with an end-of -scope operator

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Popular

    Period15 Oct 2002
    Event titleOnderzoekschool Logica, Staff Accolade (Amsterdam)
    Event typeSeminar