Two general proofs of the easiness of Omega

Kuper, J. (Speaker)

    Activity: Talk or presentationOral presentation

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