Lambda-calculus with end-of-scope

  • Vincent van Oostrom (Invited speaker)

    Activity: Talk or presentation › Invited talk › Academic

    Period25 Jul 2002
    Event titleIFIP WG-1.6 on Term Rewriting meeting
    Event typeOther
    LocationKopenhagen, DenemarkenShow on map