Two general proofs of the easiness of Omega

Kuper, J. (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period20 May 1994
    Event titleInterCity Seminar for Typed Lambda Calculi 1994: null
    Event typeConference
    LocationUtrecht, Netherlands