Two general proofs of the easiness of Omega

  • Jan Kuper (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period20 May 1994
    Event titleInterCity Seminar for Typed Lambda Calculi 1994
    Event typeConference
    LocationUtrecht, NetherlandsShow on map